Person
Dr.Daxin Liu
Ehem. assoziierter Promotionsstudent
Adresse
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Doktorarbeit] 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) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] 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 |
| [Buchbeitrag, Beitrag zu einem Tagungsband] 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 |
| [Bericht] 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. |