{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:39Z","timestamp":1742913999058,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319615714"},{"type":"electronic","value":"9783319615721"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61572-1_9","type":"book-chapter","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T06:47:52Z","timestamp":1499410072000},"page":"123-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting"],"prefix":"10.1007","author":[{"given":"Ribeka","family":"Tanaka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,8]]},"reference":[{"key":"9_CR1","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 2014","author":"D Bekki","year":"2014","unstructured":"Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14\u201329. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-43742-1_2"},{"key":"9_CR2","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-319-50422-3_2","volume-title":"Modern Perspectives in Type Theoretical Semantics","author":"D Bekki","year":"2017","unstructured":"Bekki, D., Mineshima, K.: Context-passing and underspecification in dependent type semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Modern Perspectives in Type Theoretical Semantics. Studies in Linguistics and Philosophy, vol. 98, pp. 11\u201341. Springer, Heidelberg (2017). doi:10.1007\/978-3-319-50422-3_2"},{"key":"9_CR3","unstructured":"Bekki, D., Satoh, M.: Calculating projections via type checking. In: Cooper, R., Retor\u00e9, C. (eds.) ESSLLI Proceedings of TYTLES Workshop on Type Theory and Lexical Semantics, ESSLLI, Barcelona (2015)"},{"key":"9_CR4","first-page":"63","volume-title":"Quantifiers, Logic, and Language","author":"M van den Berg","year":"1996","unstructured":"van den Berg, M.: Dynamic generalized quantifiers. In: van der Does, J., van Eijck, J. (eds.) Quantifiers, Logic, and Language, pp. 63\u201394. CSLI publications, California (1996)"},{"key":"9_CR5","unstructured":"van den Berg, M.: Some aspects of the internal structure of discourse: the dynamics of nominal anaphora. Ph.D. thesis, University of Amsterdam (1996)"},{"key":"9_CR6","unstructured":"Boldini, P.: The reference of mass terms from a type theoretical point of view. In: Proceedings of Forth International Workshop on Computational Semantics (2001)"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10988-008-9035-0","volume":"31","author":"A Brasoveanu","year":"2008","unstructured":"Brasoveanu, A.: Donkey pluralities: plural information states versus non-atomic individuals. Linguist. Philos. 31(2), 129\u2013209 (2008)","journal-title":"Linguist. Philos."},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-41578-4_3","volume-title":"Constraint Solving and Language Processing","author":"S Chatzikyriakidis","year":"2013","unstructured":"Chatzikyriakidis, S., Luo, Z.: An account of natural language coordination in type theory with coercive subtyping. In: Duchier, D., Parmentier, Y. (eds.) CSLP 2012. LNCS, vol. 8114, pp. 31\u201351. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41578-4_3"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguist. Philos. 14(1), 39\u2013100 (1991)","journal-title":"Linguist. Philos."},{"key":"9_CR10","series-title":"Synthese Language Library","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-1-4020-4104-4_7","volume-title":"Game-Theoretical Semantics","author":"J Hintikka","year":"1979","unstructured":"Hintikka, J., Carlson, L.: Conditionals, generic quantifiers, and other applications of subgames. In: Saarinen, E. (ed.) Game-Theoretical Semantics. Synthese Language Library, vol. 3, pp. 179\u2013214. Springer, Heidelberg (1979). doi:10.1007\/978-1-4020-4104-4_7"},{"key":"9_CR11","series-title":"Handbook of Philosophical Logic","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-007-0485-5_3","volume-title":"Handbook of Philosophical Logic","author":"H Kamp","year":"2011","unstructured":"Kamp, H., van Genabith, J., Reyle, U.: Discourse representation theory. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol. 15, pp. 125\u2013394. Springer, Heidelberg (2011). doi:10.1007\/978-94-007-0485-5_3"},{"key":"9_CR12","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1616-1","volume-title":"From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, 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, Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy, vol. 42. Springer, Heidelberg (1993)"},{"key":"9_CR13","first-page":"363","volume-title":"Syntax and Semantics","author":"L Karttunen","year":"1976","unstructured":"Karttunen, L.: Discourse referents. In: McCawley, J.D. (ed.) Syntax and Semantics, vol. 7, pp. 363\u2013386. Academic Press, Cambridge (1976)"},{"issue":"6","key":"9_CR14","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF00632708","volume":"19","author":"M Krifka","year":"1996","unstructured":"Krifka, M.: Parametrized sum individuals for plural anaphora. Linguist. Philos. 19(6), 555\u2013598 (1996)","journal-title":"Linguist. Philos."},{"key":"9_CR15","volume-title":"The Logical Analysis of Plurals and Mass Terms: A Lattice-Theoretical Approach","author":"G Link","year":"1983","unstructured":"Link, G.: The Logical Analysis of Plurals and Mass Terms: A Lattice-Theoretical Approach. de Gruyter, Berlin (1983)"},{"key":"9_CR16","unstructured":"Martin-L\u00f6f, P.: Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures given in Padua, Bibliopolis (1984)"},{"key":"9_CR17","unstructured":"Nouwen, R.: Plural pronominal anaphora in context: dynamic aspects of quantification. Ph.D. thesis, Utrecht Institute for Linguistics OTS (2003)"},{"key":"9_CR18","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"9_CR19","unstructured":"Tanaka, R.: A proof-theoretic approach to generalized quantifiers in dependent type semantics. In: de\u00a0Haan, R. (ed.) Proceedings of the ESSLLI2014 Student Session, pp. 140\u2013151 (2014)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-10061-6_8","volume-title":"New Frontiers in Artificial Intelligence","author":"R Tanaka","year":"2014","unstructured":"Tanaka, R., Nakano, Y., Bekki, D.: Constructive generalized quantifiers revisited. In: Nakano, Y., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2013. LNCS, vol. 8417, pp. 115\u2013124. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-10061-6_8"}],"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-319-61572-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T11:40:03Z","timestamp":1631533203000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61572-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615714","9783319615721"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61572-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"8 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kanagawa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","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":"14 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/isai2016","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}