57 citations · 93 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 1 cited
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali +1
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary kn…
cs.LO2023
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…