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

• defines a MCS specification language,
• recognizes several command line options,
• has a specific output format for explanations of inconsistencies,
• includes an external atom for contexts based on DLV, and
• supports the user in creating additional dlvhex plugins which contain custom external atoms for contexts.