Distributed first order logic

DOI10.1016/j.artint.2017.08.008zbMath1423.68491arXiv1507.07755OpenAlexW2030022842WikidataQ57302136 ScholiaQ57302136MaRDI QIDQ1686336

Luciano Serafini, Chiara Ghidini

Publication date: 22 December 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.07755

zbMATH Keywords

contextual reasoningdistributed knowledge representationheterogeneous knowledge integration

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

A modal view on resource-bounded propositional logics

Uses Software

• SchemaSQL

Cites Work

• \({\mathcal E}\)-connections of abstract description systems
• 2-sequent calculus: A proof theory of modalities
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Model theory
• ML systems: A proof theory for contexts
• Reasoning Support for Mapping Revision
• Ontology Matching
• SchemaSQL
• Mapping Properties of Heterogeneous Ontologies
• Formal Properties of Modularisation
• Package-Based Description Logics
• Information Flow
• A Foundation for Metareasoning Part I: The Proof Theory
• A Foundation for Metareasoning Part II: The Model Theory
• The completeness of the first-order functional calculus
• Local Models Semantics, or contextual reasoning = locality + compatibility
• A survey of approaches to automatic schema matching
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributed first order logic