Finding explanations of inconsistency in multi-context systems

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

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

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
• Handbook of knowledge representation.
• 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
• CTL model update for system modifications
• 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 (21)

• Preference-Based Diagnosis Selection in Multi-Context Systems
• Title not available (Why is that?)
• 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
• Preference-based inconsistency management in multi-context systems
• 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
• Approximations for explanations of inconsistency in partially known multi-context systems
• Exploiting unfounded sets for HEX-program evaluation
• Comparing inconsistency resolutions in multi-context systems
• A logic framework for P2P deductive databases
• General information spaces: measuring inconsistency, rationality postulates, and complexity
• Privacy preservation using multi-context systems and default logic
• 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)