Daxin Liu

Computer Science Departement, RTG UnRAVeL

Former associated doctoral researcher


Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen

Dissertation project
Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
Bi-Weekly Talk: Daxin Liu: Verification of Belief Programs
Bi-Weekly Talk: Reasoning about uncertainty
Präsentation: Daxin Liu

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
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
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