The MCS-IE Example Workbench is a Web Frontend for making lightweight experiments with the Multi-Context Systems Inconsistency Explainer tool. It was created as an adaptation of the ASP Tutoring Web System by Giovambattista Ianni.
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…