Base-based model checking for multi-agent only believing

DOI10.1007/978-3-031-43619-2_30MaRDI QIDQ6545555zbMATH OpenFDO

Authors Tiago de Lima, Emiliano Lorini, François Schwarzentruber

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_30

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Multi-agent only-knowing
• scientific article; zbMATH DE number 1759731
• scientific article; zbMATH DE number 2215634
• scientific article; zbMATH DE number 1202873
• Exploiting belief bases for building rich epistemic structures

Cites work

• A model-theoretic analysis of knowledge
• All I know: A study in autoepistemic logic
• Belief, awareness, and limited reasoning
• Epistemic planning for single- and multi-agent systems
• Exploiting belief bases for building rich epistemic structures
• Formulation of Bayesian analysis for games with incomplete information
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Multi-agent only knowing
• Multi-agent only-knowing
• Rethinking epistemic logic with belief bases
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• The hierarchical approach to modeling knowledge and common knowledge

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545555)