{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:41:20Z","timestamp":1742913680437,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"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_1","type":"book-chapter","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T06:47:52Z","timestamp":1499410072000},"page":"5-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Proper Names in Interaction"],"prefix":"10.1007","author":[{"given":"Robin","family":"Cooper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,8]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Cooper, R.: Type theory and semantics in flux. In: Kempson, R., Asher, N., Fernando, T. (eds.) Handbook of the Philosophy of Science. Philosophy of Linguistics, vol. 14, pp. 271\u2013323. Elsevier BV (2012). General eds.: D.M. Gabbay, P. Thagard and J. Woods","DOI":"10.1016\/B978-0-444-51747-0.50009-3"},{"key":"1_CR2","unstructured":"Cooper, R.: How to do things with types. In: de Paiva, V., Neuper, W., Quaresma, P., Retor\u00e9, C., Moss, L.S., Saludes, J. (eds.) Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS 2014) and 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), 17\u201318 July 2014, Vienna, Austria, pp. 149\u2013158. Center for Informatics and Systems of the University of Coimbra (2014)"},{"key":"1_CR3","unstructured":"Cooper, R.: Type theory and language: from perception to linguistic communication (in prep). Draft of book chapters available from https:\/\/sites.google.com\/site\/typetheorywithrecords\/drafts"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1002\/9781118882139.ch12","volume-title":"The Handbook of Contemporary Semantic Theory","author":"R Cooper","year":"2015","unstructured":"Cooper, R., Ginzburg, J.: Type theory with records for natural language semantics. In: Lappin, S., Fox, C. (eds.) The Handbook of Contemporary Semantic Theory, 2nd edn, pp. 375\u2013407. Wiley-Blackwell, Hoboken (2015)","edition":"2"},{"volume-title":"Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution ( Communication, Mind and Language 1)","year":"2008","key":"1_CR5","unstructured":"Cooper, R., Kempson, R. (eds.): Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution ( Communication, Mind and Language 1). College Publications, London (2008)"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199697922.001.0001","volume-title":"The Interactive Stance: Meaning for Conversation","author":"J Ginzburg","year":"2012","unstructured":"Ginzburg, J.: The Interactive Stance: Meaning for Conversation. Oxford University Press, Oxford (2012)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10849-014-9200-5","volume":"23","author":"J Ginzburg","year":"2014","unstructured":"Ginzburg, J., Cooper, R.: Quotation via dialogical interaction. J. Logic Lang. Inform. 23(3), 287\u2013311 (2014)","journal-title":"J. Logic Lang. Inform."},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1075\/aicr.1","volume-title":"The Postmodern Brain (Advances in Concsiousness Research 1)","author":"GG Globus","year":"1995","unstructured":"Globus, G.G.: The Postmodern Brain (Advances in Concsiousness Research 1). John Benjamins Publishing Company, Amsterdam (1995)"},{"key":"1_CR9","volume-title":"Meaning and Use","author":"S Kripke","year":"1979","unstructured":"Kripke, S.: A puzzle about belief. In: Margalit, A. (ed.) Meaning and Use. Reidel, Kufstein (1979)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01063877","volume":"96","author":"RK Larson","year":"1993","unstructured":"Larson, R.K., Ludlow, P.: Interpreted logical forms. Synthese 96, 305\u2013355 (1993)","journal-title":"Synthese"},{"key":"1_CR11","unstructured":"Larsson, S.: Issue-based dialogue management. Ph.D. dissertation, University of Gothenburg (2002)"},{"key":"1_CR12","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198712053.001.0001","volume-title":"Meaning Underdetermination and the Dynamic Lexicon","author":"P Ludlow","year":"2014","unstructured":"Ludlow, P.: Meaning Underdetermination and the Dynamic Lexicon. Oxford University Press, Oxford (2014)"},{"key":"1_CR13","first-page":"247","volume-title":"Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics","author":"R Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, pp. 247\u2013270. D. Reidel Publishing Company, Dordrecht (1973)"},{"key":"1_CR14","volume-title":"Syntactic Theory: A Formal Introduction","author":"IA Sag","year":"2003","unstructured":"Sag, I.A., Wasow, T., Bender, E.M.: Syntactic Theory: A Formal Introduction, 2nd edn. CSLI Publications, Stanford (2003)","edition":"2"},{"key":"1_CR15","unstructured":"de Saussure, F.: Cours de linguistique g\u00e9n\u00e9rale. Payot, Lausanne and Paris, edited by Charles Bally and Albert S\u00e9chehaye (1916)"},{"key":"1_CR16","volume-title":"An Introduction to Unification-Based Approaches to Grammar","author":"S Shieber","year":"1986","unstructured":"Shieber, S.: An Introduction to Unification-Based Approaches to Grammar. CSLI Publications, Stanford (1986)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1023\/A:1020867916902","volume":"25","author":"R Stalnaker","year":"2002","unstructured":"Stalnaker, R.: Common ground. Linguist. Philos. 25, 701\u2013721 (2002)","journal-title":"Linguist. Philos."}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T11:38:21Z","timestamp":1631533101000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61572-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615714","9783319615721"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61572-1_1","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"}}]}}