The MCS-IE system for explaining inconsistency in multi-context systems

Authors:
Markus Bögl;Thomas Eiter;Michael Fink;Peter Schüller
Affiliations:
Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Venue:
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Year:
2010

Citing 4
Cited 1

Multilanguage hierarchical logics, or: how we can do without modal logics

Artificial Intelligence
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Contextual default reasoning

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Privacy preservation using multi-context systems and default logic

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.