Concerning Measures in a First-order Logic with Actions and Meta-beliefs

Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Conference contribution

2 results

2024
First-order progression beyond local-effect and normal actions
Liu, D. & Claßen, J., 14 May 2024, (Accepted/In press) Proceedings of the 33rd International Joint Conference on Artificial Intelligence. IJCAI Organization
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Progression with probabilities in the Situation Calculus: Representation and succinctness
Liu, D. & Belle, V., 6 May 2024, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. ACM, p. 1210-1218 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File