{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:26:09Z","timestamp":1774639569141,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030316044","type":"print"},{"value":"9783030316051","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-31605-1_22","type":"book-chapter","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T16:45:34Z","timestamp":1570725934000},"page":"298-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Solving the Individuation and Counting Puzzle with $$\\lambda $$ -DRT and MGL"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Mery","sequence":"first","affiliation":[]},{"given":"Richard","family":"Moot","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Retor\u00e9","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,11]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511793936","volume-title":"Lexical Meaning in Context: A Web of Words","author":"N Asher","year":"2011","unstructured":"Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press, Cambridge (2011)"},{"key":"22_CR2","unstructured":"Asher, N., Luo, Z.: Formalization of coercions in lexical semantics. In: Chemla, E., Homer, V., Winterstein, G. (eds.) Proceedings of Sinn und Bedeutung, vol. 17. pp. 63\u201380, Paris (2013)"},{"issue":"2","key":"22_CR3","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10849-009-9113-x","volume":"19","author":"C Bassac","year":"2010","unstructured":"Bassac, C., Mery, B., Retor\u00e9, C.: Towards a type-theoretical account of lexical semantics. J. Lang Logic Inf. 19(2), 229\u2013245 (2010)","journal-title":"J. Lang Logic Inf."},{"key":"22_CR4","unstructured":"Bekki, D.: Dependent type semantics: an introduction. In: Christoff, Z., Galeazzi, P., Gierasimczuk, N., Marcoci, A., Smet, S. (eds.) Logic and Interactive RAtionality (LIRa) Yearbook 2012, vol. I, pp. 277\u2013300. University of Amsterdam (2014)"},{"key":"22_CR5","volume-title":"Handbook of Logic and Language","year":"1997","unstructured":"van Benthem, J., ter Meulen, A. (eds.): Handbook of Logic and Language. North-Holland Elsevier, Amsterdam (1997)"},{"key":"22_CR6","unstructured":"Bos, J., Mastenbroek, E., Mcglashan, S., Millies, S., Pinkal, M.: A compositional DRS-based formalism for NLP applications. In: In International Workshop on Computational Semantics, pp. 21\u201331 (1994)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-662-53826-5_6","volume-title":"Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996\u20132016)","author":"S Chatzikyriakidis","year":"2016","unstructured":"Chatzikyriakidis, S., Luo, Z.: Proof assistants for natural language semantics. In: Amblard, M., de Groote, P., Pogodalla, S., Retor\u00e9, C. (eds.) LACL 2016. LNCS, vol. 10054, pp. 85\u201398. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53826-5_6"},{"key":"22_CR8","unstructured":"Chatzikyriakidis, S., Luo, Z.: Identity criteria of CNs: quantification and copredication. In: CoPo 2017, Oslo, November 2017"},{"key":"22_CR9","unstructured":"Cooper, R.: Copredication, dynamic generalized quantification and lexical innovation by coercion. In: Fourth International Workshop on Generative Approaches to the Lexicon (2007)"},{"key":"22_CR10","volume-title":"Lexical Semantics","author":"DA Cruse","year":"1986","unstructured":"Cruse, D.A.: Lexical Semantics. Cambridge University Press, New York (1986)"},{"key":"22_CR11","unstructured":"van Eijck, J., Kamp, H.: Representing discourse in context. In: van Benthem, J., ter Meulen, A.: [5], chap. 3, pp. 179\u2013237 (1997)"},{"key":"22_CR12","unstructured":"Gotham, M.: Copredication, Quantification Individuation. Ph.D. thesis, University College London (2014)"},{"issue":"2","key":"22_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/ffw008","volume":"34","author":"M Gotham","year":"2017","unstructured":"Gotham, M.: Composing criteria of individuation in copredication. J. Semant. 34(2), 333\u2013371 (2017). https:\/\/doi.org\/10.1093\/jos\/ffw008","journal-title":"J. Semant."},{"key":"22_CR14","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 Model-theoretic 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 Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy, vol. 42. Springer, Dordrecht (1993). https:\/\/doi.org\/10.1007\/978-94-017-1616-1"},{"key":"22_CR15","unstructured":"Kohlhase, M., Kuschert, S., Pinkal, M.: A type-theoretic semantics for lambda-DRT, November 1996"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-93794-6_15","volume-title":"New Frontiers in Artificial Intelligence","author":"M Lafourcade","year":"2018","unstructured":"Lafourcade, M., Mery, B., Mirzapour, M., Moot, R., Retor\u00e9, C.: Collecting weighted coercions from crowd-sourced lexical data for compositional semantic analysis. In: Arai, S., Kojima, K., Mineshima, K., Bekki, D., Satoh, K., Ohta, Y. (eds.) New Frontiers in Artificial Intelligence, pp. 214\u2013230. Springer International Publishing, Cham (2018)"},{"key":"22_CR17","unstructured":"Lefeuvre, A., Moot, R., Retor\u00e9, C., Sandillon-Rezer, N.F.: Traitement automatique sur corpus de r\u00e9cits de voyages pyr\u00e9n\u00e9ens: Une analyse syntaxique, s\u00e9mantique et temporelle. In: Traitement Automatique du Langage Naturel, TALN 2012, vol. 2, pp. 43\u201356 (2012). http:\/\/aclweb.org\/anthology\/F\/F12\/"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Lefeuvre-Halftermeyer, A., Moot, R., Retor\u00e9, C.: A computational account of virtual travelers in the montagovian generative lexicon. In: Aurnague, M., Stosic, D. (eds.) Advances in the Study of Motion in French, pp. 407\u2013450. John Benjamins (2019)","DOI":"10.1075\/hcp.66.09lef"},{"issue":"1","key":"22_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1111\/phis.12104","volume":"27","author":"D Liebesman","year":"2017","unstructured":"Liebesman, D., Magidor, O.: Copredication and property inheritance. Philos. Issues 27(1), 131\u2013166 (2017). https:\/\/doi.org\/10.1111\/phis.12104","journal-title":"Philos. Issues"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-22221-4_11","volume-title":"Logical Aspects of Computational Linguistics","author":"Z Luo","year":"2011","unstructured":"Luo, Z.: Contextual analysis of word meanings in type-theoretical semantics. In: Pogodalla, S., Prost, J.-P. (eds.) LACL 2011. LNCS (LNAI), vol. 6736, pp. 159\u2013174. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22221-4_11"},{"key":"22_CR21","unstructured":"Magidor, O.: Counting and copredication. In: LINGUAE Seminar. Institut Jean Nicod, Paris (2017)"},{"key":"22_CR22","unstructured":"Mery, B.: Mod\u00e9lisation de la S\u00e9mantique Lexicale dans le cadre de la Th\u00e9orie des Types. Ph.D. thesis, Universit\u00e9 de Bordeaux, July 2011"},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-319-61572-1_7","volume-title":"New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, Revised Selected Papers","author":"B Mery","year":"2017","unstructured":"Mery, B.: Challenges in the computational implementation of montagovian lexical semantics. In: Kurahashi, S., Ohta, Y., Arai, S., Satoh, K., Bekki, D. (eds.) New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, Revised Selected Papers, pp. 90\u2013107. Springer International Publishing, Cham (2017)"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-662-48119-6_11","volume-title":"New Frontiers in Artificial Intelligence","author":"B Mery","year":"2015","unstructured":"Mery, B., Moot, R., Retor\u00e9, C.: Computing the semantics of plurals and massive entities using many-sorted types. In: Murata, T., Mineshima, K., Bekki, D. (eds.) JSAI-isAI 2014. LNCS (LNAI), vol. 9067, pp. 144\u2013159. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48119-6_11"},{"key":"22_CR25","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-50422-3_10","volume-title":"Modern Perspectives in Type-Theoretical Semantics","author":"R Moot","year":"2017","unstructured":"Moot, R.: The grail theorem prover: type theory for syntax and semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Modern Perspectives in Type-Theoretical Semantics. SLP, vol. 98, pp. 247\u2013277. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50422-3_10"},{"key":"22_CR26","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"R Muskens","year":"1996","unstructured":"Muskens, R.: Combining montague semantics and discourse representation. Linguist. Philos. 19, 143\u2013186 (1996)","journal-title":"Linguist. Philos."},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Nunberg, G.: Transfers of meaning. In: Proceedings of the 31st annual meeting on Association for Computational Linguistics, pp. 191\u2013192. Association for Computational Linguistics, Morristown, NJ, USA (1993)","DOI":"10.3115\/981574.981599"},{"key":"22_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3225.001.0001","volume-title":"The Generative Lexicon","author":"J Pustejovsky","year":"1995","unstructured":"Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)"},{"key":"22_CR29","unstructured":"Real, L., Retor\u00e9, C.: A case study of copredication over a deverbal that reconciles empirical data with computational semantics. In: McCready, E. (ed.) LENLS12: Logic and Engineering of Natural Language Semantics 12. Tokyo, Japan, November 2015. https:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-01311129"},{"key":"22_CR30","unstructured":"Retor\u00e9, C.: The montagovian generative lexicon lambda Tyn: a type theoretical framework for natural language semantics. In: 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol. 26, pp. 202\u2013229. Schloss Dagstuhl, Germany (2014)"},{"key":"22_CR31","unstructured":"Retor\u00e9, C., Zaradzki, L.: Individuals, equivalences and quotients in type theoretical semantics. In: Logic Colloquium 2018 (2018). https:\/\/lc18.uniud.it\/slides\/papers\/christian-retore-quotients.pdf"},{"key":"22_CR32","unstructured":"Yoshikawa, M., Mineshima, K., Noji, H., Bekki, D.: Consistent CCG parsing over multiple sentences for improved logical reasoning. CoRR abs\/1804.07068 (2018). http:\/\/arxiv.org\/abs\/1804.07068"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31605-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T20:58:30Z","timestamp":1721854710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31605-1_22"}},"subtitle":["If I Can Get a Book from the Library, It Saves Me from Needing to Buy It in the Bookshop"],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030316044","9783030316051"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31605-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 October 2019","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":"Yokohama","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":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2018a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ai-gakkai.or.jp\/isai\/isai2018","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind\/Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"97","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2-3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2-3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}