A First-order Theory of Communication and Multi-agent Plans

DOI10.1093/LOGCOM/EXI027MaRDI QIDQ3374099zbMATH OpenOpenAlexFDO

Authors Ernest Davis, Leora Morgenstern

Publication date 9 March 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi027

zbMATH Keywords

communicationknowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 4153912
• Knowledge and communication: A first-order theory
• A simple account of multi-agent epistemic planning
• scientific article; zbMATH DE number 1213007
• scientific article; zbMATH DE number 1738683

Cited in

(8)

• Autoepistemic answer set programming
• A logic of delegation
• Knowledge and communication: A first-order theory
• scientific article; zbMATH DE number 4153912 (Why is no real title available?)
• scientific article; zbMATH DE number 1213007 (Why is no real title available?)
• A simple account of multi-agent epistemic planning
• John McCarthy's legacy
• How does a box work? A study in the qualitative dynamics of solid objects

Describes a project that uses

Uses Software

• AgentSpeak

This page was built for publication: A First-order Theory of Communication and Multi-agent Plans

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