Recognising Textual Entailment with Robust Logical Inference

  title={Recognising Textual Entailment with Robust Logical Inference},
  author={Johan Bos and Katja Markert},
We use logical inference techniques for recognising textual entailment, with theorem proving operating on deep semantic interpretations as the backbone of our system. However, the performance of theorem proving on its own turns out to be highly dependent on a wide range of background knowledge, which is not necessarily included in publically available knowledge sources. Therefore, we achieve robustness via two extensions. Firstly, we incorporate model building, a technique borrowed from… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS
17 Citations
25 References
Similar Papers


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

Similar Papers

Loading similar papers…