Recognising textual entailment with robust logical inference

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3944 LNAI, Issue , 2006, Pages 404-426

  Bos, Johan ^a   Markert, Katja ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; OBJECT RECOGNITION; PROGRAM INTERPRETERS; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; THEOREM PROVING;

AUTOMATED REASONING; DATASETS; HYBRID MODEL; TEXTUAL ENTAILMENTS;

TEXT PROCESSING;

EID: 33745820330     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11736790_23     Document Type: Conference Paper

References (27)

1. [Akh05] E. Akhmatova. Textual entailment resolution via atomic propositions. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pages 61-68, 2005.
2. [BB05] Patrick Blackburn and Johan Bos. Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI, 2005.
3. [BBF+05] S. Bayer, J. Burger, L. Ferro, J. Henderson, and A. Yeh. Mitre's submission to the eu pascal rte challenge. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pages 41-44, 2005.
4. [BBKdN01] Patrick Blackburn, Johan Bos, Michael Kohlhase, and Hans de Nivelle. Inference and Computational Semantics. In Harry Bunt, Reinhard Muskens, and Elias Thijsse, editors, Computing Meaning Vol.2, pages 11-28. Kluwer, 2001.
5. [BCS+04] J. Bos, S. Clark, M. Steedman, J. Curran, and J. Hockenmaier. Widecoverage semantic representations from a ccg parser. In Proc of the 20th International Conference on Computational Linguistics; Geneva, Switzerland; 2004, 2004.
6. [BL03] Regina Barzilay and Lillian Lee. Learning to paraphrase: An unsupervised approach using multiple sequence alignment. In NAACL-HLT 2003, 2003.
7. [Bos03] J. Bos. Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection. Computational Linguistics, 2003.
8. [Bos05] Johan Bos. Towards wide-coverage semantic interpretation. In Proceedings of Sixth International Workshop on Computational Semantics IWCS-6, pages 42-53, 2005.
9. [CC04] S. Clark and J.R. Curran. Parsing the WSJ using CCG and Log-Linear Models. In Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL '04), Barcelona, Spain, 2004.
10. [CCVE+96] R. Cooper, R. Crouch, J. Van Eijck, C. Fox, J. Van Genabith, J. Jaspars, H. Kamp, M. Pinkal, D. Milward, M. Poesio, and S. Pulman. Using the framework, fracas: A framework for computationla semantics. Technical report, Fracas Deliverable D16., 1996.
11. [CS03] K. Claessen and N. Sörensson. New techniques that improve mace-style model finding. In Model Computationa - Principles, Algorithms, Applications (Cade-19 Workshop), Miami, Florida., 2003.
12. [DGM05] Ido Dagan, Oren Glickman, and Bernardo Magnini. The pascal recognising textual entailment challenge. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pages 1-8, 2005.
13. [Fel98] Christiane Fellbaum, editor. WordNet: An Electronic Lexical Database. MIT Press, Cambridge, Mass., 1998.
14. [FHH+05] A. Fowler, B. Hauser, D. Hodges, I. Niles, A. Novischi, and J. Stephan. Applying cogex to recognize textual entailment. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pages 69-72, 2005.
15. [HPV05] Jesus Herrera, Anslemo Penas, and Felisa Verdejo. Textual entailment recognition based on dependency analysis and wordnet. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, 2005.
16. [JdROS] Valentin Jijkoun and Maarten de Rijke. Recognising textual entailment using lexical similarity. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, 2005.
17. [KR93] Hans Kamp and Uwe Reyle. From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht, Netherlands, 1993.
18. [MdR03] C. Monz and M. de Rijke. Light-weight entailment checking for computational semantics. In Proc. of the 3rd Workshop on Inference in Computational Semantics; 2003, 2003.
19. [MS99] Christopher Manning and Hinrich Schuetze. Foundations of Statistical Natural Language Processing. MIT Press, 1999.
20. [NSDC05] Eamonn Newman, Nicola Stokes, John Dunnion, and Joe Carthy. Ucd iirg approach to the textual entailment challenge. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, 2005.
21. [PA05] Diana Perez and Enrique Alfonseca. Application of the bleu algorithm for recognising textual entailments. In Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, 2005.
22. [RNM05] R. Raina, A.Y. Ng, and C. Manning. Robust textual inference via learning and abductive reasoning. In Proc. of AAAI 2005, 2005.
23. [RV02] A. Riazanov and A. Voronkov. The design and implementation of Vampire. AI Communications, 15(2-3), 2002.
24. [SGH+04] H. Saggion, R. Gaizauskas, M. Hepple, I. Roberts, and M Greenwood. Exploring the performance of boolean retrieval strategies for open domain question answering. In Proc. of the Information Retrieval for Question Answering (IR4QA) Workshop at SIGIR 2004, 2004.
25. [Ste01] M. Steedman. The Syntactic Process. The MIT Press, 2001.
26. [VdS92] R.A. Van der Sandt. Presupposition Projection as Anaphora Resolution. Journal of Semantics, 9:333-377, 1992.
27. [WF00] Ian H. Witten and Eibe frank. Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations. Morgan Kaufmann, San Diego, CA, 2000.