Category: Project


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 Read more…