Reasoning About Epistemic States of Agents by Modal Logic Programming

Linh Anh Nguyen. Reasoning About Epistemic States of Agents by Modal Logic Programming. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 37-56, Springer, 2005. [doi]

Abstract

Abstract is missing.