Person
Dr.Daxin Liu
Computer Science Departement, RTG UnRAVeL
Former associated doctoral researcher
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Dissertation / PhD Thesis] Projection in a probabilistic epistemic logic and its application to belief-based program verification, 2022 [DOI: 10.18154/RWTH-2022-10632] | Liu, Daxin |
| [Preprint] On the Verification of Belief Programs, 2022 | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 1951-1958, 2021 [DOI: 10.24963/ijcai.2021/269] | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard |
| [Contribution to a book, Contribution to a conference proceedings] On the Progression of Belief In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 465-474, 2021 [DOI: 10.24963/kr.2021/44] | Liu, Daxin (Corresponding author) Feng, Qihui |
| [Journal Article] Fast Algorithms for Semantic Association Search and Pattern Mining In: IEEE transactions on knowledge and data engineering : TKDE, 33 (4), 1490-1502, 2019 [DOI: 10.1109/TKDE.2019.2942031] | Cheng, Gong (Corresponding author) Liu, Daxin Qu, Yuzhong |
| [Report] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Journal Article] Fast and Practical Snippet Generation for RDF Datasets In: ACM transactions on the web, 13 (4), 1-38, 2019 [DOI: 10.1145/3365575] | Liu, Daxin Cheng, Gong Liu, Qingxia Qu, Yuzhong |