Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs
Recognising Textual Entailment With Logical Inference