3 papers
cs.AI2026
The Epistemic Planning Domain Definition Language: Official Guideline
Alessandro Burigana, Francesco Fabiano
Epistemic planning extends (multi-agent) automated planning by making agents' knowledge and beliefs first-class aspects of the planning formalism. One of the most well-known framew…
cs.AI2024
Depth-Bounded Epistemic Planning
Thomas Bolander, Alessandro Burigana, Marco Montali
We propose a novel algorithm for epistemic planning based on dynamic epistemic logic (DEL). The novelty is that we limit the depth of reasoning of the planning agent to an upper bo…
cs.LO2024
Better Bounded Bisimulation Contractions (Preprint)
Thomas Bolander, Alessandro Burigana
Bisimulations are standard in modal logic and, more generally, in the theory of state-transition systems. The quotient structure of a Kripke model with respect to the bisimulation…