@inproceedings{670ef17e7abd4c8e84e5e38ea780b448,
title = "Recognizing Textual Entailment via atomic propositions",
abstract = "This paper describes Macquarie University's Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to test the practicability of a purely logical approach. For this, atomic propositions were extracted from both the text and the entailment hypothesis and they were expressed in a custom logical notation. The text entails the hypothesis if every proposition of the hypothesis is entailed by some proposition in the text. To extract the propositions and encode them into a logical notation the system uses the output of Link Parser. To detect the independent entailment relations the system relies on the use of Otter and WordNet.",
author = "Elena Akhmatova and Diego Moll{\'a}",
year = "2006",
doi = "10.1007/11736790_22",
language = "English",
isbn = "3540334270",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "385--403",
editor = "Joaquin Qui{\~n}onero-Candela and Ido Dagan and Magnini, {Bernardo =} and Florence d{\textquoteright}Alch{\'e}-Buc",
booktitle = "Machine Learning Challenges",
address = "United States",
note = "1st PASCAL Machine Learning Challenges Workshop, MLCW 2005 ; Conference date: 11-04-2005 Through 13-04-2005",
}