Multimodal logic programming
From MaRDI portal
Publication:2503328
DOI10.1016/j.tcs.2006.03.026zbMath1103.68033OpenAlexW2164466347MaRDI QIDQ2503328
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17)
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