The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via nonmonotonic rules. The implementation is based on the dlvhex tool, which is an extension of answer set programming with external atoms and higher order features.

• Type: Journal
• Year: 2010
• Where: JELIA
• Authors: Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller
• Keywords: Artificial Intelligence, Heterogeneous Knowledge Bases, JELIA 2010, Nonmonotonic Rules, System Inconsistency Explainer