MCS-IE – Multi-Context Systems Inconsistency Explainer


The MCS-IE system is a plugin for the dlvhex Solver. MCS-IE allows to explain reasons for inconsistency in Multi-Context Systems (MCS).

For details please see the official homepage of the MCS-IE system.

The system was created during the IncMan Project and is available at github.com/hexhex/mcsieplugin.