Reasoning About Epistemic States of Agents by Modal Logic Programming

DOI10.1007/11750734_3zbMath1236.68231OpenAlexW1603024508MaRDI QIDQ3623962

Linh Anh Nguyen

Publication date: 28 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750734_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items

Multimodal logic programming, Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

Uses Software

• KARO
• AgentSpeak