\textsc{delphic}: practical DEL planning via possibilities

DOI10.1007/978-3-031-43619-2_39MaRDI QIDQ6545564

Marco Montali, Paolo Felli, Alessandro Burigana

Publication date: 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• Reasoning about information change
• An action language for multi-agent domains
• DEL-based epistemic planning: decidability and complexity
• Epistemic planning for single- and multi-agent systems
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Multi-shot ASP solving with clingo

This page was built for publication: \textsc{delphic}: practical DEL planning via possibilities