{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:12:36Z","timestamp":1742911956838,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662481189"},{"type":"electronic","value":"9783662481196"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48119-6_6","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"66-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Wide-Coverage Tableau Method for Natural Logic"],"prefix":"10.1007","author":[{"given":"Lasha","family":"Abzianidze","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Bos, J., Clark, S., Steedman, M., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a CCG parser. In: Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004), pp. 1240\u20131246 (2004)","DOI":"10.3115\/1220355.1220535"},{"key":"6_CR2","unstructured":"Bos, J.: Towards a large-scale formal semantic lexicon for text processing. from form to meaning: processing texts automatically. In: Proceedings of the Biennal GSCL Conference, pp. 3\u201314 (2009)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Champollioni, L.: Quantification and negation in event semantics. In: Baltic International Yearbook of Cognition, Logic and Communication, vol. 6 (2010)","DOI":"10.4148\/biyclc.v6i0.1563"},{"issue":"4","key":"6_CR4","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1162\/coli.2007.33.4.493","volume":"33","author":"S Clark","year":"2007","unstructured":"Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with CCG and log-linear models. Comput. Linguist. 33(4), 493\u2013552 (2007)","journal-title":"Comput. Linguist."},{"key":"6_CR5","unstructured":"Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jaspars, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S.: Using the framework. Technical Report LRE 62\u2013051 D-16. The FraCaS Consortium (1996)"},{"volume-title":"WordNet: An Electronic Lexical Database","year":"1998","key":"6_CR6","unstructured":"Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database. MIT press, Cambridge (1998)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"de Groote, Ph.: Towards abstract categorial grammars. In: Proceedings of the Conference on ACL 39th Annual Meeting and 10th Conference of the European Chapter, pp. 148\u2013155 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"6_CR8","unstructured":"Honnibal, M., Curran, J.R., Bos, J.: Rebanking CCGbank for improved NP interpretation. In: Proceedings of the 48th Meeting of the Association for Computational Linguistics (ACL), pp. 207\u2013215 (2010)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"MacCartney, B., Manning, C.D.: Modeling semantic containment and exclusion in natural language inference. In: Proceedings of Coling-2008, Manchester, UK (2008)","DOI":"10.3115\/1599081.1599147"},{"key":"6_CR10","volume-title":"A sick cure for the evaluation of compositional distributional semantic models","author":"M Marelli","year":"2014","unstructured":"Marelli, M., et al.: A sick cure for the evaluation of compositional distributional semantic models. In Proceedings of LREC, Reykjavik (2014)"},{"key":"6_CR11","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-010-0037-6_2","volume-title":"Resource-Sensitivity, Binding and Anaphora","author":"R Muskens","year":"2003","unstructured":"Muskens, R.: Language, lambdas, and logic. In: Kruijff, G., Oehrle, R. (eds.) Resource-Sensitivity, Binding and Anaphora. Studies in Linguistics and Philosophy, vol. 80, pp. 23\u201354. Springer, Heidelberg (2003)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-14287-1_11","volume-title":"Logic, Language and Meaning","author":"R Muskens","year":"2010","unstructured":"Muskens, R.: An analytic tableau system for natural logic. In: Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds.) Logic, Language and Meaning. LNCS, vol. 6042, pp. 104\u2013113. Springer, Heidelberg (2010)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Steedman, M., Baldridge, J.: Combinatory Categorial Grammar. In: Borsley, R.D., Borjars, K. (eds.) pp. 181\u2013224. Blackwell Publishing (2011)","DOI":"10.1002\/9781444395037.ch5"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-23211-4_11","volume-title":"The Mathematics of Language","author":"Y Winter","year":"2011","unstructured":"Winter, Y., Zwarts, J.: Event semantics and abstract categorial grammar. In: Kanazawa, M., Kornai, A., Kracht, M., Seki, H. (eds.) MOL 12. LNCS, vol. 6878, pp. 174\u2013191. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48119-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T12:03:23Z","timestamp":1628597003000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}