Tag: Tool


The Hexlite solver is a lightweight alternative to dlvhex for logic programs with a restricted set of external computations. The solver was created with lightweightness as a principle, using Python as the only programming language and delegating as much as possible to Read more…


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 Marmara Turkish Coreference Resolution Corpus was created over the course of two years at Marmara University in Istanbul, Turkey. The corpus is a layer on top of the METU-Sabanci Turkish Treebank. The corpus is available at bitbucket.org/knowlp/marmara-turkish-coreference-corpus. The coreference annotation Read more…


This tool was created to enable building the Marmara Turkish Coreference Corpus, where we we had to adjudicate up to ten independent annotations of the same document into one gold standard. The tool permits a fully automatic adjudication mode with four Read more…


This project, which led to several publications, implements abductive reasoning with costs in First Order Horn logic using Answer Set Programming. The specific knowledge base format and reasoning task that are supported by the framework are those in the ACCEL Read more…


AspCcgTk is the “Answer Set Programming Combinatory Categorial Grammar Toolkit”. AspCcgTk is a parser based on Combinatory Categorial Grammar (CGC) developed using the declarative programming paradigm Answer Set Programming. AspCcgTk implements wide-coverage CCG parsing by utilizing the CCG postagger and supertagger of the C&C tool. Read more…


This tool was created as part of a publication at the International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). The tool is based on Clingo and features Graphviz output. The detailed description of the tool and the approach can be 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.


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…