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…
Tag: Python
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…
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…