Multimodal logic programming

DOI10.1016/J.TCS.2006.03.026MaRDI QIDQ2503328zbMATH OpenOpenAlexFDO

Authors 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

Kripke modelslogic programminglogics of beliefmodal logicMProlog

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 2053218
• Multimodal logic programming using equational and order-sorted logic
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• Logic Programming

Cites work

• Contributions to the Theory of Logic Programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 976360 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 1980915 (Why is no real title available?)
• scientific article; zbMATH DE number 2053218 (Why is no real title available?)
• scientific article; zbMATH DE number 1501629 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 1761430 (Why is no real title available?)
• scientific article; zbMATH DE number 2182495 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 762058 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 970732 (Why is no real title available?)
• Logic Programming
• Logics in Artificial Intelligence
• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(14)

• Multimodal logic programming using equational and order-sorted logic
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• Modality Argumentation Programming
• Reasoning About Epistemic States of Agents by Modal Logic Programming
• Modal logic programming revisited
• scientific article; zbMATH DE number 517003 (Why is no real title available?)
• Multi-modal logic programming using equational and order-sorted logic
• Theoretical Aspects of Computing – ICTAC 2005
• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
• Computational Logic in Multi-Agent Systems
• Combining and automating classical and non-classical logics in classical higher-order logics
• Many-valued modalities and paraconsistency
• An intensional epistemic logic
• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

This page was built for publication: Multimodal logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2503328)