no code implementations • 28 Jul 2023 • Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard
Finally, we show that two well-known epistemic planning systems based on action templates, when interpreted under the setting of knowledge, conform to the commutativity axiom, hence proving their decidability.
no code implementations • 28 Jul 2023 • Alessandro Burigana, Paolo Felli, Marco Montali
To substantiate this claim, we implement both approaches in ASP and we set up an experimental evaluation to compare DELPHIC with the traditional, Kripke-based approach.
no code implementations • 7 Aug 2020 • Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
In these scenarios, epistemic reasoning, i. e., reasoning about agents' beliefs about themselves and about other agents' beliefs, is essential to design winning strategies.