3 papers
cs.AI2026
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Michael Thielscher, Tran Cao Son
We investigate the belief revision problem in epistemic planning, i.e., what will be the beliefs of all agents in a multi-agent system after an agent gains the belief in some state…
cs.LO2026
An ASP-based approach to Solving General Stochastic Two-Player Games
Yifan He, Michael Thielscher
The Game Description Language (GDL) is a widely used formalism for specifying general games. Due to their similar syntax and semantics, Answer Set Programming (ASP) and its extensi…
cs.LO2025
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…