scientific article
From MaRDI portal
Publication:2782484
zbMath1021.03007MaRDI QIDQ2782484
Luciano Serafini, Chiara Ghidini
Publication date: 5 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deductionontologydistributed reasoningcompatibility constraintsdistributed knowledge representationdistributed first-order logicmultilanguage systems
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (6)
Distributed first order logic ⋮ Revision in networks of ontologies ⋮ Local Models Semantics, or contextual reasoning = locality + compatibility ⋮ Formal and Conceptual Comparison of Ontology Mapping Languages ⋮ Composing Modular Ontologies with Distributed Description Logics ⋮ Embodied Context Semantics
This page was built for publication:
