@article{6081,
  title = {Inferring textual entailment with a probabilistically sound calculus},
  journal = {Natural Language Engineering},
  abstract = {We introduce a system for textual entailment that is based on a probabilistic model of entailment. The model is defined using a calculus of transformations on dependency trees, which is characterized by the fact that derivations in that calculus preserve the truth only with a certain probability. The calculus is successfully evaluated on the datasets of the PASCAL Challenge on Recognizing Textual Entailment.},
  volume = {15},
  number = {4},
  pages = {459-477},
  organization = {Max-Planck-Gesellschaft},
  school = {Biologische Kybernetik},
  month = oct,
  year = {2009},
  author = {Harmeling, S.},
  doi = {10.1017/S1351324909990118},
  month_numeric = {10}
}