MCS-IE: Multi-Context Systems Inconsistency Explainer

Literature

Markus Bögl, Thomas Eiter, Michael Fink, and Peter Schüller.
The MCS-IE system for explaining inconsistency in multi-context systems.
In Tomi Janhunen and Ilkka Niemelä, editors, 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Lecture Notes in Artificial Intelligence, pages 356-359. Springer, September 2010.
paper ]

Thomas Eiter, Michael Fink, Peter Schüller, and Antonius Weinzierl.
Finding explanations of inconsistency in nonmonotonic multi-context systems.
In Fangzhen Lin and Uli Sattler, editors, 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, May 9-13, 2010, pages 329-339. AAAI Press, May 2010.
paper | slides ]

Gerhard Brewka and Thomas Eiter.
Equilibria in heterogeneous nonmonotonic multi-context systems. In AAAI, pages 385-390, 2007.
paper ]

Loading

 

Links

MCS-IE Online Demo

dlvhex
HEX-Programs

Knowledge Based Systems Group

Research Project:
  Inconsistency Management for
  Knowledge Integration Systems

 

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.