Category: Project


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…


In the Inspire project we studied methods of Answer Set Programming on applications that are related with Interpreting Natural Language. Key Facts: Principal Investigator (Project Manager): Peter Schüller Duration: April 2015 to September 2017 Funding: Scientific and Technological Research Council of Turkey 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…


In the OmSieve project we applied methods of Answer Set Programming to Coreference Resolution. Key Facts: Principal Investigator (Project Manager): Peter Schüller Duration: January 2015 to December 2016 Funding: Scientific and Technological Research Council of Turkey (TÜBİTAK) Program 3001 English Title: Open-Minded Coreference Resolution Sieve 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.