A First-order Theory of Communication and Multi-agent Plans
From MaRDI portal
Publication:3374099
DOI10.1093/logcom/exi027zbMath1089.68122MaRDI 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
68T27: Logic in artificial intelligence
Related Items
John McCarthy's legacy, How does a box work? A study in the qualitative dynamics of solid objects, Autoepistemic answer set programming, A logic of delegation, Knowledge and communication: A first-order theory
Uses Software