Daxin Liu

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Connectionist Learning

Probability Distribution

Situation Calculus

Top Venues

Publications

Daxin Liu, Vaishak Belle
Progression with Probabilities in the Situation Calculus: Representation and Succinctness. AAMAS (2024)
Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. KR (2023)
Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer
A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS (2023)
Daxin Liu, Qihui Feng
On the progression of belief. Artif. Intell. 322 (2023)
Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer
Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI (2023)