Tag: Library


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