{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:18:04Z","timestamp":1725884284972},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319509525"},{"type":"electronic","value":"9783319509532"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-50953-2_5","type":"book-chapter","created":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T06:07:32Z","timestamp":1491890852000},"page":"58-65","source":"Crossref","is-referenced-by-count":2,"title":["An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese"],"prefix":"10.1007","author":[{"given":"Ai","family":"Kawazoe","sequence":"first","affiliation":[]},{"given":"Ribeka","family":"Tanaka","sequence":"additional","affiliation":[]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-662-48119-6_6","volume-title":"New Frontiers in Artificial Intelligence","author":"L Abzianidze","year":"2015","unstructured":"Abzianidze, L.: Towards a wide-coverage tableau method for natural logic. In: Murata, T., Mineshima, K., Bekki, D. (eds.) JSAI-isAI 2014. LNCS (LNAI), vol. 9067, pp. 66\u201382. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48119-6_6"},{"key":"5_CR2","unstructured":"Bentivogli, L., Cabrio, E., Dagan, I., Giampiccolo, D., Leggio, M.L., Magnini, B.: A methodology for isolating linguistic phenomena relevant to inference. In: Proceedings of LREC 2010, pp. 3544\u20133549, Valletta, Malta (2010)"},{"key":"5_CR3","unstructured":"Bos, J.: Let\u2019s not argue about semantics. In: Proceedings of the 6th Language Resources and Evaluation Conference (LREC 2008), pp. 2835\u20132840. Marrakech, Morocco (2008)"},{"key":"5_CR4","volume-title":"Meaning and Grammar: An Introduction to Semantics","author":"G Chierchia","year":"2000","unstructured":"Chierchia, G., McConnell-Ginet, S.: Meaning and Grammar: An Introduction to Semantics. MIT Press, Cambridge (2000)"},{"key":"5_CR5","unstructured":"Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jan, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S., Briscoe, T., Maier, H., Konrad, K.: Using the framework. Technical report, FraCaS: A Framework for Computational Semantics. FraCaS Deliverable D16 (1996)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Cabrio, E., Magnini, B.: Decomposing semantic inferences. In: Condoravi, C., Zaenen, A. (eds.) Linguistic Issues in Language Technology (LiLT), vol. 9(1). Special Issue on The Semantics of Entailment (2013)","DOI":"10.33011\/lilt.v9i.1319"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science (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. 3944, pp. 177\u2013190. Springer, Heidelberg (2006). doi: 10.1007\/11736790_9"},{"key":"5_CR8","volume-title":"Studies in the Way of Words","author":"P Grice","year":"1989","unstructured":"Grice, P.: Studies in the Way of Words. Harvard University Press, Cambridge (1989)"},{"key":"5_CR9","volume-title":"Formal Pragmatics","author":"N Kadmon","year":"2001","unstructured":"Kadmon, N.: Formal Pragmatics. Blackwell, Oxford (2001)"},{"key":"5_CR10","unstructured":"Kotani, M., Shibata, T., Nakata, T., Kurohashi, S.: Building textual entailment Japanese data sets and recognizing reasoning relations based on synonymy acquired automatically. In: Proceedings of the 14th Annual Meeting of the Association for Natural Language Processing, Tokyo, Japan (2008)"},{"key":"5_CR11","volume-title":"Danwa no Bunpoo [grammar of discourse]","author":"S Kuno","year":"1978","unstructured":"Kuno, S.: Danwa no Bunpoo [grammar of discourse]. Taishukan, Tokyo (1978)"},{"key":"5_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5526.001.0001","volume-title":"Presumptive Meanings: The theory of generalized conversational Implicature","author":"SC Levinson","year":"2000","unstructured":"Levinson, S.C.: Presumptive Meanings: The theory of generalized conversational Implicature. MIT Press, Cambridge (2000)"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1162\/tacl_a_00219","volume":"1","author":"M Lewis","year":"2013","unstructured":"Lewis, M., Steedman, M.: Combining distributional and logical semantics. Trans. Assoc. Comput. Linguist. 1, 179\u2013192 (2013)","journal-title":"Trans. Assoc. Comput. Linguist."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"MacCartney, B., Manning, C.D.: Natural logic for textual inference. In: Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing, pp. 193\u2013200 (2007)","DOI":"10.3115\/1654536.1654575"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"MacCartney, B., Manning, C.: Modeling semantic containment and exclusion in natural language inference. In: The 22nd International Conference on Computational Linguistics (Coling 2008), Manchester, UK (2008)","DOI":"10.3115\/1599081.1599147"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Mineshima, K., Mart\u00ednez-G\u00f3mez, P., Miyao, Y., Bekki, D.: Higher-order logical inference with compositional semantics. Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), Lisbon, Portugal, pp. 2055\u20132061 (2015)","DOI":"10.18653\/v1\/D15-1244"},{"key":"5_CR17","unstructured":"Potts, C.: The Logic of Conventional Implicatures. Oxford University Press (2005). Sammons 2010 Sammons, M., Vinod Vydiswaran, V.G., Roth, D.: Ask not what textual entailment can do for you.... In: Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics:1199\u20131208, Uppsala, Sweden (2010)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Tian, R., Miyao, Y., Matsuzaki, T.: Logical inference on dependency-based compositional semantics. In: Proceedings of ACL, pp. 79\u201389 (2014)","DOI":"10.3115\/v1\/P14-1008"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50953-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T22:51:33Z","timestamp":1692744693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50953-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319509525","9783319509532"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50953-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}