{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T14:10:09Z","timestamp":1750515009856,"version":"3.41.0"},"publisher-location":"Cham","reference-count":33,"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_7","type":"book-chapter","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T06:47:52Z","timestamp":1499410072000},"page":"90-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Challenges\u00a0in\u00a0the\u00a0Computational\u00a0Implementation of Montagovian Lexical Semantics"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Mery","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,8]]},"reference":[{"key":"7_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":"7_CR2","unstructured":"Asher, N., Pustejovsky, J.: Word meaning and commonsense metaphysics. Semantics Archive, August 2005"},{"key":"7_CR3","first-page":"277","volume-title":"Logic and Interactive RAtionality (LIRa) Yearbook 2012","author":"D Bekki","year":"2014","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. 1, pp. 277\u2013300. University of Amsterdam, Amsterdam (2014)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-39931-2_2","volume-title":"New Frontiers in Artificial Intelligence","author":"D Bekki","year":"2013","unstructured":"Bekki, D., Asher, N.: Logical polysemy and subtyping. In: Motomura, Y., Butler, A., Bekki, D. (eds.) JSAI-isAI 2012. LNCS, vol. 7856, pp. 17\u201324. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-39931-2_2"},{"key":"7_CR5","first-page":"119","volume-title":"Sprechakttheorie und Semantik","author":"M Bierwisch","year":"1979","unstructured":"Bierwisch, M.: W\u00f6rdliche Bedeutung - eine pragmatische Gretchenfrag. In: Grewendorf, G. (ed.) Sprechakttheorie und Semantik, pp. 119\u2013148. Surkamp, Frankfurt (1979)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-54594-8_64","volume-title":"Text Understanding in LILOG","author":"P Bosch","year":"1991","unstructured":"Bosch, P.: The bermuda triangle: natural language semantics between linguistics, knowledge representation, and knowledge processing. In: Herzog, O., Rollinger, C.-R. (eds.) Text Understanding in LILOG. LNCS, vol. 546, pp. 241\u2013258. Springer, Heidelberg (1991). doi:10.1007\/3-540-54594-8_64. http:\/\/dl.acm.org\/citation.cfm?id=647415.725191"},{"key":"7_CR7","unstructured":"Breitholtz, E.: Are widows always wicked? Learning concepts through enthymematic reasoning. In: Cooper, R., Retor\u00e9, C. (eds.) ESSLLI Proceedings of the TYTLES Workshop on TYpe Theory and LExical Semantics, Barcelona, August 2015"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/s10849-014-9208-x","volume":"23","author":"S Chatzikyriakidis","year":"2014","unstructured":"Chatzikyriakidis, S., Luo, Z.: Natural language inference in Coq. J. Log. Lang. Inf. 23(4), 441\u2013480 (2014). http:\/\/dx.doi.org\/10.1007\/s10849-014-9208-x","journal-title":"J. Log. Lang. Inf."},{"key":"7_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":"7_CR10","volume-title":"Lexical Semantics","author":"DA Cruse","year":"1986","unstructured":"Cruse, D.A.: Lexical Semantics. Cambridge University Press, New York (1986)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1162\/002438998553743","volume":"29","author":"JA Fodor","year":"1998","unstructured":"Fodor, J.A., Lepore, E.: The emptiness of the lexicon: reflections on James Pustejovsky\u2019s the generative lexicon. Linguist. Inq. 29(2), 269\u2013288 (1998)","journal-title":"Linguist. Inq."},{"key":"7_CR12","unstructured":"Im, S., Lee, C.: A developed analysis of type coercion based on type theory and conventionality. In: Cooper, R., Retor\u00e9, C. (eds.) ESSLLI Proceedings of the TYTLES Workshop on TYpe Theory and LExical Semantics, Barcelona, August 2015"},{"key":"7_CR13","unstructured":"Jacquey, E.: Ambigu\u00eft\u00e9s lexicales et traitement automatique des langues: mod\u00e9lisation de la polys\u00e9mie logique et application aux d\u00e9verbaux d\u2019action ambigus en fran\u00e7ais. Ph.D. thesis, Universit\u00e9 de Nancy 2 (2001)"},{"key":"7_CR14","unstructured":"Kinoshita, E., Mineshima, K., Bekki, D.: An analysis of selectional restrictions with Dependent Type Semantics. In: Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2013), pp. 100\u2013113, November 2016"},{"key":"7_CR15","first-page":"127","volume-title":"Formal Semantics - The Essential Readings","author":"G Link","year":"1983","unstructured":"Link, G.: The logical analysis of plurals and mass terms: a lattice-theoretic approach. In: Portner, P., Partee, B.H. (eds.) Formal Semantics - The Essential Readings, pp. 127\u2013147. Blackwell, Oxford (1983)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","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, vol. 6736, pp. 159\u2013174. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-22221-4_11"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-31262-5_12","volume-title":"Logical Aspects of Computational Linguistics","author":"Z Luo","year":"2012","unstructured":"Luo, Z.: Common nouns as types. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 173\u2013185. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31262-5_12"},{"key":"7_CR18","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":"7_CR19","unstructured":"Mery, B.: Lexical semantics with linear types. In: NLCS 2015, The Third Workshop on Natural Language and Computer Science, Kyoto, Japan, July 2015"},{"key":"7_CR20","unstructured":"Mery, B.: Lessons from a prototype implementation of Montagovian lexical semantics. In: Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2013), pp. 73\u201385, November 2016"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","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, vol. 9067, pp. 144\u2013159. Springer, Heidelberg (2015). doi:10.1007\/978-3-662-48119-6_11"},{"key":"7_CR22","unstructured":"Mery, B., Moot, R., Retor\u00e9, C.: Typed Hilbert operators for the lexical semantics of singular and plural determiner phrases. In: Epsilon 2015 - Hilbert\u2019s Epsilon and Tau in Logic, Informatics and Linguistics, Montpellier, France, June 2015"},{"key":"7_CR23","unstructured":"Mery, B., Retor\u00e9, C.: Are books events? Ontological inclusions as coercive sub-typing, lexical transfers as entailment. In: LENLS 2012, jSAI 2015, Kanagawa, Japan, November 2015"},{"key":"7_CR24","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-50422-3_7","volume-title":"Modern Perspectives in Type-Theoretical Semantics","author":"B Mery","year":"2017","unstructured":"Mery, B., Retor\u00e9, C.: Classifiers, sorts, and base types in the Montagovian generative lexicon and related type theoretical frameworks for lexical compositional semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Modern Perspectives in Type-Theoretical Semantics. SLP, vol. 98, pp. 163\u2013188. Springer, Cham (2017). doi:10.1007\/978-3-319-50422-3_7"},{"key":"7_CR25","unstructured":"Moot, R.: Wide-coverage French syntax and semantics using Grail. In: Proceedings of Traitement Automatique des Langues Naturelles (TALN), Montreal (2010)"},{"key":"7_CR26","unstructured":"Moot, R., Pr\u00e9vot, L., Retor\u00e9, C.: A discursive analysis of itineraries in an historical and regional corpus of travels. In: Constraints in discourse. http:\/\/passage.inria.fr\/cid2011\/doku.php. Ayay-roches-rouges, France, September 2011. http:\/\/hal.archives-ouvertes.fr\/hal-00607691\/en\/"},{"issue":"1","key":"7_CR27","doi-asserted-by":"publisher","first-page":"5","DOI":"10.2307\/2025394","volume":"78","author":"JM Moravcsik","year":"1982","unstructured":"Moravcsik, J.M.: How do words get their meanings? J. Philos. 78(1), 5\u201324 (1982)","journal-title":"J. Philos."},{"key":"7_CR28","volume-title":"Studies in Logic, Langage and Information","author":"R Muskens","year":"1996","unstructured":"Muskens, R.: Meaning and partiality. In: Cooper, R., de Rijke, M. (eds.) Studies in Logic, Langage and Information. CSLI, Stanford (1996)"},{"key":"7_CR29","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":"7_CR30","unstructured":"Real-Coelho, L.M., Retor\u00e9, C.: A generative Montagovian lexicon for polysemous deverbal nouns. In: 4th World Congress and School on Universal Logic - Workshop on Logic and Linguistics, Rio de Janeiro (2013)"},{"key":"7_CR31","unstructured":"Retor\u00e9, C.: S\u00e9mantique des d\u00e9terminants dans un cadre richement typ\u00e9 (2013). CoRR abs\/1302.1422. http:\/\/arxiv.org\/abs\/1302.1422"},{"key":"7_CR32","unstructured":"Retor\u00e9, C.: The Montagovian generative lexicon lambda Ty$$_{n}$$: a type theoretical framework for natural language semantics. In: Matthes, R., Schubert, A. (eds.) 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), vol. 26, pp. 202\u2013229. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2014). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2014\/4633"},{"issue":"56","key":"7_CR33","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B.: On denoting. Mind 14(56), 479\u2013493 (1905). http:\/\/www.jstor.org\/stable\/2248381","journal-title":"Mind"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T13:44:59Z","timestamp":1750513499000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61572-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615714","9783319615721"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61572-1_7","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"}}]}}