Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs
the stable model semantics for logic programming .