A First-order Theory of Communication and Multi-agent Plans
From MaRDI portal
Publication:3374099
DOI10.1093/logcom/exi027zbMath1089.68122OpenAlexW2140353799MaRDI QIDQ3374099
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
Related Items (5)
Knowledge and communication: A first-order theory ⋮ John McCarthy's legacy ⋮ How does a box work? A study in the qualitative dynamics of solid objects ⋮ A logic of delegation ⋮ Autoepistemic answer set programming
Uses Software
This page was built for publication: A First-order Theory of Communication and Multi-agent Plans