{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:56:14Z","timestamp":1743130574973,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662538258"},{"type":"electronic","value":"9783662538265"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T00:00:00Z","timestamp":1478736000000},"content-version":"vor","delay-in-days":314,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article addresses problems that arise from the use of category variables <jats:inline-formula><jats:alternatives><jats:tex-math>$${\\varvec{T}}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>T<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> in combinatory categorial grammars (CCGs), in particular, that they require extension of semantic languages with <jats:italic>variable vectors<\/jats:italic> in a form such as <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\lambda \\overline{x}.M$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>\u03bb<\/mml:mi>\n                    <mml:mover>\n                      <mml:mi>x<\/mml:mi>\n                      <mml:mo>\u00af<\/mml:mo>\n                    <\/mml:mover>\n                    <mml:mo>.<\/mml:mo>\n                    <mml:mi>M<\/mml:mi>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> or <jats:inline-formula><jats:alternatives><jats:tex-math>$$M\\overline{x}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>M<\/mml:mi>\n                    <mml:mover>\n                      <mml:mi>x<\/mml:mi>\n                      <mml:mo>\u00af<\/mml:mo>\n                    <\/mml:mover>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>. As a solution to such problems, we introduce a technique for implementing variable vectors within the context of <jats:italic>lightblue<\/jats:italic>, a Japanese CCG parser implemented within the Haskell programming language with a dependent type semantics (DTS) representation.<\/jats:p>","DOI":"10.1007\/978-3-662-53826-5_4","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T11:59:48Z","timestamp":1478692788000},"page":"52-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Implementing Variable Vectors in a CCG Parser"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Bekki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ai","family":"Kawazoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"key":"4_CR1","unstructured":"Bekki, D.: Nihongo-Bunpoo-no Keisiki-Riron - Katuyootaikei, Toogohantyuu, Imigoosei - (trans. \u2018Formal Japanese Grammar: the conjugation system, categorial syntax, and compositional semantics\u2019). Kuroshio Publisher, Tokyo (2010)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-662-43742-1_2","volume-title":"Logical Aspects of Computational Linguistics","author":"D Bekki","year":"2014","unstructured":"Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S.V. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14\u201329. Springer, Heiderburg (2014)"},{"key":"4_CR3","volume-title":"Type-Theoretical Semantics: Current Perspectives","author":"D Bekki","year":"2016","unstructured":"Bekki, D., Mineshima, K.: Context-passing and underspecification in dependent type semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Type-Theoretical Semantics: Current Perspectives. Springer, Heidelberg (2016)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Clark, S., Curran, J.R.: Parsing the WSJ using CCG and log-linear models. In: The Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, pp. 103\u2013110. Association for Computational Linguistics (2004)","DOI":"10.3115\/1218955.1218969"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Lewis, M., Steedman, M.: A* CCG parsing with a supertag-factored model. In: The Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), Doha, Qatar, pp. 990\u20131000. Association of Computational Linguistics (2014)","DOI":"10.3115\/v1\/D14-1107"},{"key":"4_CR6","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory, vol. 17. Bibliopolis, Naples (1984). Sambin, G. (ed.)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez G\u00f3mez, P., Mineshima, K., Miyao, Y., Bekki, D.: ccg2lambda: a computational semantics system. In: The Proceedings of the Association of Computational Linguistics (ACL 2016), Berlin, pp. 85\u201390 (2016)","DOI":"10.18653\/v1\/P16-4015"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Morita, H., Kawahara, D., Kurohashi, S.: Morphological analysis for unsegmented languages using recurrent neural network language model. In: The Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), pp. 2292\u20132297 (2015)","DOI":"10.18653\/v1\/D15-1276"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Noji, H., Miyao, Y.: Jigg: a framework for an easy natural language processing pipeline. In: The Proceedings of the 54th Association of Computational Linguistics, pp. 103\u2013108 (2016)","DOI":"10.18653\/v1\/P16-4018"},{"key":"4_CR10","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory","author":"B Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory. Oxford University Press, Oxford (1990)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-31262-5_13","volume-title":"Logical Aspects of Computational Linguistics","author":"H Ozaki","year":"2012","unstructured":"Ozaki, H., Bekki, D.: Extractability as the deduction theorem in subdirectional combinatory logic. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 186\u2013200. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31262-5_13"},{"key":"4_CR12","volume-title":"Advanced Topics in Types and Programming Languages","author":"BC Pierce","year":"2005","unstructured":"Pierce, B.C.: Advanced Topics in Types and Programming Languages. The MIT Press, Cambridge (2005)"},{"key":"4_CR13","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"4_CR14","volume-title":"The Syntactic Process (Language, Speech, and Communication)","author":"MJ Steedman","year":"2000","unstructured":"Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)"},{"key":"4_CR15","unstructured":"Tsaiwei, F., Butler, A., Yoshimoto, K.: Parsing Japanese with a PCFG treebank grammar. In: The Proceedings of the Twentieth Meeting of the Association for Natural Language Processing, Sapporo, pp. 432\u2013435 (2014)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996\u20132016)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53826-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:21:08Z","timestamp":1709821268000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-53826-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662538258","9783662538265"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53826-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LACL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logical Aspects of Computational Linguistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lacl2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/lacl.gforge.inria.fr\/lacl-2016\/index-presentation.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}