MCS-IE: Multi-Context Systems Inconsistency Explainer

About MCS-IE

The MCS-IE system is a plugin for dlvhex, which allows to explain reasons for inconsistency in Multi-Context Systems (MCS) as introduced by Brewka and Eiter (2007).

MCS-IE

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.