Base-based model checking for multi-agent only believing

DOI10.1007/978-3-031-43619-2_30MaRDI QIDQ6545555

François Schwarzentruber, Tiago de Lima, Emiliano Lorini

Publication date: 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formulation of Bayesian analysis for games with incomplete information
• Belief, awareness, and limited reasoning
• The hierarchical approach to modeling knowledge and common knowledge
• All I know: A study in autoepistemic logic
• Rethinking epistemic logic with belief bases
• Multi-agent Only Knowing
• Epistemic planning for single- and multi-agent systems
• A model-theoretic analysis of knowledge
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

This page was built for publication: Base-based model checking for multi-agent only believing