Finding explanations of inconsistency in multi-context systems

DOI10.1016/j.artint.2014.07.008zbMath1309.68177OpenAlexW2126745921MaRDI QIDQ460632

Peter Schüller, Antonius Weinzierl, Michael Fink, Thomas Eiter

Publication date: 13 October 2014

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

Full work available at URL: https://doi.org/10.1016/j.artint.2014.07.008

zbMATH Keywords

nonmonotonic reasoningcomputational logicinconsistency managementknowledge representation formalismsmulti-context systemsinterlinked knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (15)

Preferential multi-context systems ⋮ Privacy Preservation Using Multi-context Systems and Default Logic ⋮ Exploiting Unfounded Sets for HEX-Program Evaluation ⋮ Localising iceberg inconsistencies ⋮ A graded approach to database repair by context-aware distance semantics ⋮ Unnamed Item ⋮ A Logic Framework for P2P Deductive Databases ⋮ Towards provenance in heterogeneous knowledge bases ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Preference-Based Diagnosis Selection in Multi-Context Systems ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Intrinsic approaches to prioritizing diagnoses in multi-context systems ⋮ Inconsistency Management in Reactive Multi-context Systems ⋮ Strong inconsistency ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity

Uses Software

• DMCS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic based merging
• Declarative error diagnosis
• Reasoning about truth
• A theory of diagnosis from first principles
• The computational complexity of abduction
• A guide to completeness and complexity for modal logics of knowledge and belief
• Paraconsistent logic programming
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Signed systems for paraconsistent reasoning
• Inconsistency tolerance.
• On the computational cost of disjunctive logic programming: Propositional case
• Exploiting Unfounded Sets for HEX-Program Evaluation
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
• Stepping through an Answer-Set Program
• Catching the Ouroboros: On debugging non-ground answer-set programs
• Fusion rules for context-dependent aggregation of structured news reports
• Combining Nonmonotonic Knowledge Bases with External Sources
• Complexity Results for Nonmonotonic Logics
• Answer sets for consistent query answering in inconsistent databases
• Decomposition of Distributed Nonmonotonic Multi-Context Systems
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• Comparing Inconsistency Resolutions in Multi-Context Systems
• The DLV system for knowledge representation and reasoning
• Abductive Logic Programming
• Logics in Artificial Intelligence
• Debugging ASP Programs by Means of ASP
• Journal on Data Semantics I
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: Finding explanations of inconsistency in multi-context systems