Recognising textual entailment with robust logical inference
Robust Textual Inference Via Learning and Abductive Reasoning