Robust Textual Inference Via Learning and Abductive Reasoning
COGEX: A Logic Prover For Question Answering