Finding explanations of inconsistency in multi-context systems

DOI10.1016/J.ARTINT.2014.07.008zbMATH Open1309.68177OpenAlexW2126745921MaRDI QIDQ460632FDOQ460632

Antonius Weinzierl, Peter Schüller, 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

Recommendations

• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• Preference-based inconsistency management in multi-context systems
• Approximations for explanations of inconsistency in partially known multi-context systems
• Preference-Based Diagnosis Selection in Multi-Context Systems
• Preference-Based Inconsistency Assessment in Multi-Context Systems

zbMATH Keywords

computational logicinconsistency managementknowledge representation formalismsnonmonotonic reasoningmulti-context systemsinterlinked knowledge

Mathematics Subject Classification ID

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

Cites Work

• Paraconsistent logic programming
• On the computational cost of disjunctive logic programming: Propositional case
• Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abductive Logic Programming
• A theory of diagnosis from first principles
• Title not available (Why is that?)
• Title not available (Why is that?)
• Answer sets for consistent query answering in inconsistent databases
• Title not available (Why is that?)
• The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
• Journal on Data Semantics I
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• A guide to completeness and complexity for modal logics of knowledge and belief
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources
• Logics in Artificial Intelligence
• The computational complexity of abduction
• Signed systems for paraconsistent reasoning
• Inconsistency tolerance.
• Exploiting Unfounded Sets for HEX-Program Evaluation
• 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
• Title not available (Why is that?)
• Fusion rules for context-dependent aggregation of structured news reports
• Combining nonmonotonic knowledge bases with external sources
• Complexity Results for Nonmonotonic Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decomposition of Distributed Nonmonotonic Multi-Context Systems
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• Comparing Inconsistency Resolutions in Multi-Context Systems
• Logic based merging
• Debugging ASP Programs by Means of ASP
• Declarative error diagnosis
• Reasoning about truth

Cited In (18)

• Preference-Based Diagnosis Selection in Multi-Context Systems
• Exploiting Unfounded Sets for HEX-Program Evaluation
• Title not available (Why is that?)
• Privacy Preservation Using Multi-context Systems and Default Logic
• Preference-Based Inconsistency Assessment in Multi-Context Systems
• Preferential multi-context systems
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
• A Logic Framework for P2P Deductive Databases
• Active integrity constraints for general-purpose knowledge bases
• Intrinsic approaches to prioritizing diagnoses in multi-context systems
• Constrained derivation in assumption-based argumentation
• A graded approach to database repair by context-aware distance semantics
• Inconsistency Management in Reactive Multi-context Systems
• Towards provenance in heterogeneous knowledge bases
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Localising iceberg inconsistencies
• Strong inconsistency

Uses Software

• DMCS

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

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