Efficient reasoning in multiagent epistemic logics

MaRDI QIDQ3455568zbMATH OpenFDO

Authors Gerhard Lakemeyer, Yves Lespérance

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7022

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 4181308
• scientific article; zbMATH DE number 795590
• A model of reasoning about knowledge
• Reasoning about common knowledge with infinitely many agents
• Some computational constraints in epistemic logic

Cited in

(13)

• Efficient multi-agent epistemic planning: teaching planners about nested belief
• A lightweight epistemic logic and its application to planning
• Delegated updates in epistemic graphs for opponent modelling
• Asynchronous knowledge with hidden actions in the situation calculus
• scientific article; zbMATH DE number 4181308 (Why is no real title available?)
• scientific article; zbMATH DE number 140395 (Why is no real title available?)
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• scientific article; zbMATH DE number 7450025 (Why is no real title available?)
• Reasoning with Multiple-Agent Possibilistic Logic
• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 7649937 (Why is no real title available?)
• Epistemic planning: perspectives on the special issue
• Efficient reasoning about knowledge and common knowledge

This page was built for publication: Efficient reasoning in multiagent epistemic logics

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