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. Importantly, the tool produces all semantically distinct parse trees for a given sentence.
For details see the dedicated project homepage: AspCcgTk – the Answer Set Programming Combinatory Categorial Grammar Toolkit.