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

DOI10.1093/LOGCOM/EXI027zbMATH Open1089.68122OpenAlexW2140353799MaRDI QIDQ3374099FDOQ3374099

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

Recommendations

• scientific article
• 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

zbMATH Keywords

communicationknowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (7)

• Title not available (Why is that?)
• How does a box work? A study in the qualitative dynamics of solid objects
• John McCarthy's legacy
• Knowledge and communication: A first-order theory
• Autoepistemic answer set programming
• A simple account of multi-agent epistemic planning
• A logic of delegation

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)