Person
Daxin Liu
M. Sc.Associated doctoral researcher
Computer Science Departement, RTG UnRAVeL
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Preprint] On the Verification of Belief Programs, 2022 | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard (Corresponding author) |
| [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, 2021 [DOI: 10.24963/ijcai.2021/269] | Liu, Daxin (Corresponding author) Lakemeyer, Gerhard |
| [Contribution to a conference proceedings] On the Progression of Belief In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 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 Dannert, Katrin M. Lindner, Peter et al. |