Natural language expressions are often ambiguous, allowing multiple interpretations. In this note we describe an approach that integrates syntactic analysis with semantic constraints in a system called ASPCCGTK. This system is based on Answer Set Programming — a popular declarative constraint programming paradigm.
Lierler, Yuliya and Schueller, Peter, "AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation" (2014). Computer Science Faculty Publications. 17.