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