Distributed first order logic
From MaRDI portal
Publication:1686336
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
Related Items (1)
Uses Software
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