{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T11:32:48Z","timestamp":1781782368322,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540334279","type":"print"},{"value":"9783540334286","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11736790_23","type":"book-chapter","created":{"date-parts":[[2006,4,6]],"date-time":"2006-04-06T15:10:48Z","timestamp":1144336248000},"page":"404-426","source":"Crossref","is-referenced-by-count":8,"title":["Recognising Textual Entailment with Robust Logical Inference"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katja","family":"Markert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Akhmatova, E.: Textual entailment resolution via atomic propositions. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 61\u201368 (2005)","DOI":"10.1007\/11736790_22"},{"key":"23_CR2","unstructured":"Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics. In: CSLI (2005)"},{"key":"23_CR3","unstructured":"Bayer, S., Burger, J., Ferro, L., Henderson, J., Yeh, A.: Mitre\u2019s submission to the eu pascal rte challenge. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 41\u201344 (2005)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-94-010-0572-2_2","volume-title":"Computing Meaning","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., Bos, J., Kohlhase, M., de Nivelle, H.: Inference and Computational Semantics. In: Bunt, H., Muskens, R., Thijsse, E. (eds.) Computing Meaning, vol.\u00a02, pp. 11\u201328. Kluwer, Dordrecht (2001)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bos, J., Clark, S., Steedman, M., Curran, J., Hockenmaier, J.: Widecoverage semantic representations from a ccg parser. In: Proc of the 20th International Conference on Computational Linguistics, Geneva, Switzerland (2004)","DOI":"10.3115\/1220355.1220535"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Barzilay, R., Lee, L.: Learning to paraphrase: An unsupervised approach using multiple sequence alignment. In: NAACL-HLT 2003 (2003)","DOI":"10.3115\/1073445.1073448"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Bos, J.: Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection. Computational Linguistics (2003)","DOI":"10.1162\/089120103322145306"},{"key":"23_CR8","unstructured":"Bos, J.: Towards wide-coverage semantic interpretation. In: Proceedings of Sixth International Workshop on Computational Semantics IWCS-6, pp. 42\u201353 (2005)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.R.: Parsing the WSJ using CCG and Log-Linear Models. In: Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004), Barcelona, Spain (2004)","DOI":"10.3115\/1218955.1218969"},{"key":"23_CR10","unstructured":"Cooper, R., Crouch, R., Van Eijck, J., Fox, C., Van Genabith, J., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M., Pulman, S.: Using the framework. Fracas: A framework for computationla semantics. Technical report, Fracas Deliverable D16 (1996)"},{"key":"23_CR11","unstructured":"Claessen, K., S\u00f6rensson, N.: New techniques that improve mace-style model finding. In: Model Computationa - Principles, Algorithms, Applications (Cade-19 Workshop), Miami, Florida (2003)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Dagan, I., Glickman, O., Magnini, B.: The pascal recognizing textual entailment challenge. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 1\u20138 (2005)","DOI":"10.1007\/11736790_9"},{"key":"23_CR13","volume-title":"WordNet: An Electronic Lexical Database","year":"1998","unstructured":"Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)"},{"key":"23_CR14","unstructured":"Fowler, A., Hauser, B., Hodges, D., Niles, I., Novischi, A., Stephan, J.: Applying cogex to recognize textual entailment. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment, pp. 69\u201372 (2005)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Herrera, J., Penas, A., Verdejo, F.: Textual entailment recognition based on dependency analysis and wordnet. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment (2005)","DOI":"10.1007\/11736790_13"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Jijkoun, V., de Rijke, M.: Recognising textual entailment using lexical similarity. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment (2005)","DOI":"10.1007\/11736790_25"},{"key":"23_CR17","volume-title":"Formal Logic and Discourse Representation Theory","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language. In: Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht (1993)"},{"key":"23_CR18","unstructured":"Monz, C., de Rijke, M.: Light-weight entailment checking for computational semantics. In: Proc. of the 3rd Workshop on Inference in Computational Semantics (2003)"},{"key":"23_CR19","volume-title":"Foundations of Statistical Natural Language Processing","author":"C. Manning","year":"1999","unstructured":"Manning, C., Schuetze, H.: Foundations of Statistical Natural Language Processing. MIT Press, Cambridge (1999)"},{"key":"23_CR20","unstructured":"Newman, E., Stokes, N., Dunnion, J., Carthy, J.: Ucd iirg approach to the textual entailment challenge. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment (2005)"},{"key":"23_CR21","unstructured":"Perez, D., Alfonseca, E.: Application of the bleu algorithm for recognising textual entailments. In: Proceedings of the PASCAL Challenges Workshop on Recognising Textual Entailment (2005)"},{"key":"23_CR22","unstructured":"Raina, R., Ng, A.Y., Manning, C.: Robust textual inference via learning and abductive reasoning. In: Proc. of AAAI 2005 (2005)"},{"key":"23_CR23","unstructured":"Riazanov, A., Voronkov, A.: The design and implementation of Vampire. AI Communications\u00a015(2-3) (2002)"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Saggion, H., Gaizauskas, R., Hepple, M., Roberts, I., Greenwood, M.: 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)","DOI":"10.1145\/1041394.1041403"},{"key":"23_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M. Steedman","year":"2001","unstructured":"Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2001)"},{"key":"23_CR26","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R.A. Sandt Van der","year":"1992","unstructured":"Van der Sandt, R.A.: Presupposition Projection as Anaphora Resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"23_CR27","unstructured":"Witten, I.H., Frank, E.: Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations. Morgan Kaufmann, San Diego (2000)"}],"container-title":["Lecture Notes in Computer Science","Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11736790_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T15:23:35Z","timestamp":1586791415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11736790_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540334279","9783540334286"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11736790_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}