{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:49:15Z","timestamp":1743018555910,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852865"},{"type":"electronic","value":"9783540852872"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85287-2_1","type":"book-chapter","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T15:59:52Z","timestamp":1219852792000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Formal Semantics in the Real World"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"WordNet. An Electronic Lexical Database","year":"1998","key":"1_CR1","unstructured":"Fellbaum, C. (ed.): WordNet. An Electronic Lexical Database. The MIT Press, Cambridge (1998)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10579-007-9048-2","volume":"42","author":"K. Kipper","year":"2008","unstructured":"Kipper, K., Korhonen, A., Ryant, N., Palmer, M.: A large-scale classification of english verbs. Language Resources and Evaluation\u00a042(1), 21\u201340 (2008)","journal-title":"Language Resources and Evaluation"},{"key":"1_CR3","unstructured":"Kingsbury, P., Palmer, M.: From treebank to propbank. In: Proceedings of the 3rd LREC, Las Palmas, Canary Islands, Spain (2002)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Baker, C.F., Fillmore, C.J., Lowe, J.B.: The Berkeley FrameNet project. In: 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics. Proceedings of the Conference, Universit\u00e9 de Montr\u00e9al, Montreal, Quebec, Canada (1998)","DOI":"10.3115\/980845.980860"},{"key":"1_CR5","unstructured":"Bos, J.: Towards wide-coverage semantic interpretation. In: Proceedings of Sixth International Workshop on Computational Semantics IWCS-6, pp. 42\u201353 (2005)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Curran, J., Clark, S., Bos, J.: Linguistically motivated large-scale nlp with c&c and boxer. In: Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics Companion Volume Proceedings of the Demo and Poster Sessions, Prague, Czech Republic, Association for Computational Linguistics, June 2007, pp. 33\u201336 (2007)","DOI":"10.3115\/1557769.1557781"},{"key":"1_CR7","first-page":"277","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","unstructured":"Kamp, H.: A Theory of Truth and Semantic Representation. In: Groenendijk, J., Janssen, T.M., Stokhof, M. (eds.) Formal Methods in the Study of Language, pp. 277\u2013322. Mathematical Centre, Amsterdam (1981)"},{"key":"1_CR8","volume-title":"From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT. Kluwer, Dordrecht (1993)"},{"key":"1_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1715-9","volume-title":"Reference to Abstract Objects in Discourse","author":"N. Asher","year":"1993","unstructured":"Asher, N.: Reference to Abstract Objects in Discourse. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. Sandt Van der","year":"1992","unstructured":"Van der Sandt, R.: Presupposition Projection as Anaphora Resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"1_CR11","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. The MIT Press, Cambridge (2001)"},{"key":"1_CR12","unstructured":"Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI (2005)"},{"key":"1_CR13","unstructured":"Hockenmaier, J.: Data and Models for Statistical Parsing with Combinatory Categorial Grammar. PhD thesis, University of Edinburgh (2003)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.: 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"},{"issue":"2","key":"1_CR15","first-page":"313","volume":"19","author":"M.P. Marcus","year":"1993","unstructured":"Marcus, M.P., Santorini, B., Marcinkiewicz, M.A.: Building a large annotated corpus of english: The penn treebank. Computational Linguistics\u00a019(2), 313\u2013330 (1993)","journal-title":"Computational Linguistics"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Bos, J., Markert, K.: Recognising textual entailment with logical inference techniques. In: Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP 2005) (2005)","DOI":"10.3115\/1220575.1220654"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Bos, J.: The \u201cLa Sapienza\u201d Question Answering System at TREC 2006. In: Voorhees., et al. (ed.): Proceeding of the Fifteenth Text RETrieval Conference, TREC-2006, Gaithersburg, MD (2006)","DOI":"10.6028\/NIST.SP.500-272.qa-uroma.bos"},{"key":"1_CR18","unstructured":"Pulman, S.: Formal and computational semantics: a case study. In: Proceedings of Seventh International Workshop on Computational Semantics IWCS-7 (2007)"},{"key":"1_CR19","unstructured":"Cooper, R., Crouch, D., Van Eijck, J., Fox, C., Van Genabith, J., Jaspars, J., Kamp, H., Pinkal, M., Milward, D., Poesio, M., Pulman, S.: Using the Framework. Technical report, FraCaS: A Framework for Computational Semantics, FraCaS deliverable D16 (1996)"},{"key":"1_CR20","unstructured":"Monz, C., de Rijke, M.: Light-weight inference for computational semantics. In: Blackburn, P., Kohlhase, M. (eds.) Workshop Proceedings ICoS-3, pp. 95\u201372 (2001)"},{"key":"1_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11736790_9","volume-title":"Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment","author":"I. Dagan","year":"2006","unstructured":"Dagan, I., Glickman, O., Magnini, B.: The pascal recognising textual entailment challenge. In: Qui\u00f1onero-Candela, J., Dagan, I., Magnini, B., d\u2019Alch\u00e9-Buc, F. (eds.) MLCW 2005. LNCS (LNAI), vol.\u00a03944, pp. 177\u2013190. Springer, Heidelberg (2006)"},{"key":"1_CR22","unstructured":"Bar-Haim, R., Dagan, I., Dolan, B., Ferro, L., Giampiccolo, D.: The second pascal recognising textual entailment challenge. In: Proceedings of the Second PASCAL Challenges Workshop on Recognising Textual Entailment, Venice, Italy (2006)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Sekine, S., Inui, K., Dagan, I., Dolan, B., Giampiccolo, D., Magnini, B., eds.: Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing. Association for Computational Linguistics, Prague (June 2007)","DOI":"10.3115\/1654536"},{"key":"1_CR24","unstructured":"Bos, J.: Let\u2019s not argue about semantics. In: Proceedings of the 6th Language Resources and Evaluation Conference (LREC 2008), Marrakech, Morocco (2008)"}],"container-title":["Lecture Notes in Computer Science","Advances in Natural Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85287-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T18:08:43Z","timestamp":1738346923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85287-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852865","9783540852872"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85287-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}