Ehem. assoziierter Promotionsstudent

Adresse

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

 

 

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