Distributed first order logics

MaRDI QIDQ2782484zbMATH OpenFDO

Authors Luciano Serafini, Chiara Ghidini

Publication date 5 August 2002

zbMATH Keywords

compatibility constraintsdistributed first-order logicdistributed knowledge representationdistributed reasoningmultilanguage systemsnatural deductionontology

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Distributed first order logic
• Distributed Logic Programming
• Distributed modal logic
• Distributed Relation Logic
• A Logic for Distributed Higher Order π-Calculus
• A Logic For Distributed Processes
• Distributed concurrent linear logic programming
• Towards an adequate definition of distribution for first-order logic
• Modal logic and distributed message passing automata

Cited in

(13)

• Distributed first order logic
• A logic-based approach to incremental reasoning on multi-agent systems
• Distributed modal logic
• Formal and Conceptual Comparison of Ontology Mapping Languages
• Composing Modular Ontologies with Distributed Description Logics
• Intensional First-Order Logic for P2P Database Systems
• scientific article; zbMATH DE number 4070296 (Why is no real title available?)
• Distributed Relation Logic
• scientific article; zbMATH DE number 1418379 (Why is no real title available?)
• Embodied Context Semantics
• The first-order logical environment
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Revision in networks of ontologies

This page was built for publication: Distributed first order logics

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