Download digital business card



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