Recognising Textual Entailment with Logical Inference

  title={Recognising Textual Entailment with Logical Inference},
  author={Johan Bos and Katja Markert},
We use logical inference techniques for recognising textual entailment. As the performance of theorem proving turns out to be highly dependent on not readily available background knowledge, we incorporate model building, a technique borrowed from automated reasoning, and show that it is a useful robust method to approximate entailment. Finally, we use machine learning to combine these deep semantic analysis techniques with simple shallow word overlap; the resulting hybrid model achieves high… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 182 citations. REVIEW CITATIONS
133 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 133 extracted citations

182 Citations

Citations per Year
Semantic Scholar estimates that this publication has 182 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…