Tag: C++


The dlvhex Solver is a C++ software for computing answer sets of logic programs with external sources. During my PhD, I performed a rewrite of the software to make it more efficient. After my PhD, Christoph Redl continued to improve Read more…


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.