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

13 years 2 months ago

Download www.kr.tuwien.ac.at

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.

Markus Bögl, Thomas Eiter, Michael Fink, Pete

Real-time Traffic

Artificial Intelligence | Heterogeneous Knowledge Bases | JELIA 2010 | Nonmonotonic Rules | System Inconsistency Explainer |

claim paper

» Approximations for Explanations of Inconsistency in Partially Known MultiContext Systems

» Argudas arguing with gene expression information

» Social Analysis of Multiagent Systems with Activity Theory

» The Contingent Effects of Management Support and Task Interdependence On Successful IS Imp...

» Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensi...

» A Study of Project Management System Acceptance

» Surviving Abduction

» Generating Counterexamples for Multivalued ModelChecking

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JELIA
Authors	Markus Bögl, Thomas Eiter, Michael Fink, Peter Schüller

Comments (0)

Sciweavers

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

Artificial Intelligence | Heterogeneous Knowledge Bases | JELIA 2010 | Nonmonotonic Rules | System Inconsistency Explainer |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers