Multimodal logic programming

DOI10.1016/j.tcs.2006.03.026zbMath1103.68033MaRDI QIDQ2503328

Linh Anh Nguyen

Publication date: 14 September 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.026

zbMATH Keywords

modal logic; Kripke models; logic programming; logics of belief; MProlog

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68N17: Logic programming

Related Items

Combining and automating classical and non-classical logics in classical higher-order logics, Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic, Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs, Modal logic programming revisited

Cites Work

• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Logic Programming
• Logics in Artificial Intelligence
• Theoretical Aspects of Computing – ICTAC 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item