{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T23:25:20Z","timestamp":1769815520331,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415777","type":"print"},{"value":"9783642415784","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41578-4_5","type":"book-chapter","created":{"date-parts":[[2013,10,12]],"date-time":"2013-10-12T07:53:43Z","timestamp":1381564423000},"page":"70-91","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Language, Action, and Perception in Type Theory with Records"],"prefix":"10.1007","author":[{"given":"Simon","family":"Dobnik","sequence":"first","affiliation":[]},{"given":"Robin","family":"Cooper","sequence":"additional","affiliation":[]},{"given":"Staffan","family":"Larsson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Blackburn, P., Bos, J.: Representation and inference for natural language. A first course in computational semantics. CSLI (2005)"},{"key":"5_CR2","unstructured":"Winograd, T.: Understanding Natural Language. Edinburgh University Press (1976)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Miller, G.A., Johnson-Laird, P.N.: Language and perception. Cambridge University Press, Cambridge (1976)","DOI":"10.4159\/harvard.9780674421288"},{"key":"5_CR4","unstructured":"Gapp, K.P.: Basic meanings of spatial relations: Computation and evaluation in 3d space. In: Hayes-Roth, B., Korf, R.E. (eds.) AAAI, pp. 1393\u20131398. AAAI Press\/The MIT Press (1994)"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"493","DOI":"10.7551\/mitpress\/4107.003.0015","volume-title":"Language and Space","author":"G.D. Logan","year":"1996","unstructured":"Logan, G.D., Sadler, D.D.: A computational analysis of the apprehension of spatial relations. In: Bloom, P., Peterson, M.A., Nadel, L., Garrett, M.F. (eds.) Language and Space, pp. 493\u2013530. MIT Press, Cambridge (1996)"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1613\/jair.790","volume":"15","author":"J.M. Siskind","year":"2001","unstructured":"Siskind, J.M.: Grounding the lexical semantics of verbs in visual perception using force dynamics and event logic. Journal of Artificial Intelligence Research\u00a015, 31\u201390 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/j.artint.2005.04.007","volume":"167","author":"D. Roy","year":"2005","unstructured":"Roy, D.: Semiotic schemas: a framework for grounding language in action and perception. Artificial Intelligence\u00a0167, 170\u2013205 (2005)","journal-title":"Artificial Intelligence"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MC.2007.154","volume":"40","author":"G. Guerra-Filho","year":"2007","unstructured":"Guerra-Filho, G., Aloimonos, Y.: A language for human action. Computer\u00a040, 42\u201351 (2007)","journal-title":"Computer"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Matuszek, C., Herbst, E., Zettlemoyer, L., Fox, D.: Learning to parse natural language commands to a robot control system. In: Proc.\u00a0of the 13th International Symposium on Experimental Robotics, ISER (2012)","DOI":"10.1007\/978-3-319-00065-7_28"},{"key":"5_CR10","unstructured":"Dobnik, S.: Teaching mobile robots to use spatial words. PhD thesis, University of Oxford: Faculty of Linguistics, Philology and Phonetics and The Queen\u2019s College, Oxford, United Kingdom (2009)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s11168-006-0002-z","volume":"3","author":"R. Cooper","year":"2005","unstructured":"Cooper, R.: Austinian truth, attitudes and type theory. Research on Language and Computation\u00a03, 333\u2013362 (2005)","journal-title":"Research on Language and Computation"},{"key":"5_CR12","unstructured":"Cooper, R.: Type theory and semantics in flux. In: Kempson, R., Asher, N., Fernando, T. (eds.) Handbook of the Philosophy of Science. General editors: Gabbay, D.M., Thagard, P., Woods, J., vol.\u00a014. Elsevier BV (2012)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N., Anderson, A.R. (eds.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)","DOI":"10.2307\/jj.13027259.6"},{"key":"5_CR14","unstructured":"Barwise, J.: The situation in logic. CSLI Publications, Stanford (1989)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/logcom\/exi004","volume":"15","author":"R. Cooper","year":"2005","unstructured":"Cooper, R.: Records and record types in semantic theory. Journal of Logic and Computation\u00a015, 99\u2013112 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Larsson, S., Cooper, R.: Towards a formal view of corrective feedback. In: Alishahi, A., Poibeau, T., Villavicencio, A. (eds.) Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition, EACL, pp. 1\u20139 (2009)","DOI":"10.3115\/1572461.1572464"},{"key":"5_CR17","unstructured":"Cooper, R., Larsson, S.: Compositional and ontological semantics in learning from corrective feedback and explicit definition. In: Edlund, J., Gustafson, J., Hjalmarsson, A., Skantze, G. (eds.) Proceedings of SemDial 2009 (DiaHolmia): Workshop on the Semantics and Pragmatics of Dialogue, Stockholm, Sweden, Royal Institute of Technology (KTH), pp. 59\u201366 (2009)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Ginzburg, J.: The interactive stance: meaning for conversation. Oxford University Press, Oxford (2012)","DOI":"10.1093\/acprof:oso\/9780199697922.001.0001"},{"key":"5_CR19","unstructured":"Larsson, S.: The TTR perceptron: Dynamic perceptual meanings and semantic coordination. In: Artstein, R., Core, M., DeVault, D., Georgila, K., Kaiser, E., Stent, A. (eds.) SemDial 2011 (Los Angelogue): Proceedings of the 15th Workshop on the Semantics and Pragmatics of Dialogue, Los Angeles, California, pp. 140\u2013148 (2011)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Farhadi, A., Endres, I., Hoiem, D., Forsyth, D.: Describing objects by their attributes. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. 1778\u20131785 (2009)","DOI":"10.1109\/CVPRW.2009.5206772"},{"key":"5_CR21","volume-title":"Language and spatial cognition: an interdisciplinary study of the prepositions in English","author":"A. Herskovits","year":"1986","unstructured":"Herskovits, A.: Language and spatial cognition: an interdisciplinary study of the prepositions in English. Cambridge University Press, Cambridge (1986)"},{"key":"5_CR22","volume-title":"Toward a cognitive semantics: concept structuring systems","author":"L. Talmy","year":"2000","unstructured":"Talmy, L.: Toward a cognitive semantics: concept structuring systems, vol.\u00a01 and 2. MIT Press, Cambridge (2000)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1037\/0096-3445.130.2.273","volume":"130","author":"T. Regier","year":"2001","unstructured":"Regier, T., Carlson, L.A.: Grounding spatial language in perception: an empirical and computational investigation. Journal of Experimental Psychology: General\u00a0130, 273\u2013298 (2001)","journal-title":"Journal of Experimental Psychology: General"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1006\/jmla.2000.2742","volume":"44","author":"K.R. Coventry","year":"2001","unstructured":"Coventry, K.R., Prat-Sala, M., Richards, L.: The interplay between geometry and function in the apprehension of Over, Under, Above and Below. Journal of Memory and Language\u00a044, 376\u2013398 (2001)","journal-title":"Journal of Memory and Language"},{"key":"5_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511613609","volume-title":"Space in language and cognition: explorations in cognitive diversity","author":"S.C. Levinson","year":"2003","unstructured":"Levinson, S.C.: Space in language and cognition: explorations in cognitive diversity. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR26","unstructured":"Maillat, D.: The semantics and pragmatics of directionals: a case study in English and French. PhD thesis, Committee for Comparative Philology and General Linguistics, University of Oxford, Oxford, UK (2003)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Steels, L., Loetzsch, M.: Perspective alignment in spatial language. In: Coventry, K.R., Tenbrink, T., Bateman, J.A. (eds.) Spatial Language and Dialogue. Oxford University Press (2009)","DOI":"10.1093\/acprof:oso\/9780199554201.003.0006"},{"key":"5_CR28","unstructured":"Dobnik, S.: Spatial descriptions in discourse: choosing a perspective. In: Brown-Schmidt, S., Jonathan Ginzburg, S.L. (eds.) Proceedings of SemDial 2012 (SeineDial): The 16th Workshop on the Semantics and Pragamtics of Dialogue, Universit\u00e9 Paris-Diderot (Paris 7), Paris Sorbonne-Cit\u00e9, pp. 151\u2013152 (2012)"},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/70.938381","volume":"17","author":"M.W.M.G. Dissanayake","year":"2001","unstructured":"Dissanayake, M.W.M.G., Newman, P.M., Durrant-Whyte, H.F., Clark, S., Csorba, M.: A solution to the simultaneous localization and map building (SLAM) problem. IEEE Transactions on Robotic and Automation\u00a017, 229\u2013241 (2001)","journal-title":"IEEE Transactions on Robotic and Automation"},{"key":"5_CR30","unstructured":"Shieber, S.: An Introduction to Unification-Based Approaches to Grammar. CSLI Publications, Stanford (1986)"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/logcom\/14.1.79","volume":"14","author":"T. Fernando","year":"2004","unstructured":"Fernando, T.: A finite-state approach to events in natural language semantics. Journal of Logic and Computation\u00a014, 79\u201392 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR32","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MIS.2001.956080","volume":"16","author":"S. Lauria","year":"2001","unstructured":"Lauria, S., Bugmann, G., Kyriacou, T., Bos, J., Klein, E.: Training personal robots using natural language instruction. IEEE Intelligent Systems\u00a016, 38\u201345 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"5_CR33","volume-title":"Data mining: practical machine learning tools and techniques","author":"I.H. Witten","year":"2011","unstructured":"Witten, I.H., Frank, E., Hall, M.A.: Data mining: practical machine learning tools and techniques, 3rd edn. Morgan Kaufmann, Burlington (2011)","edition":"3"},{"key":"5_CR34","doi-asserted-by":"publisher","DOI":"10.1002\/9781444390568","volume-title":"Linguistic nativism and the poverty of the stimulus","author":"A. Clark","year":"2011","unstructured":"Clark, A., Lappin, S.: Linguistic nativism and the poverty of the stimulus. Wiley-Blackwell, Chichester (2011)"},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1126\/science.1192788","volume":"331","author":"J.B. Tenenbaum","year":"2011","unstructured":"Tenenbaum, J.B., Kemp, C., Griffiths, T.L., Goodman, N.D.: How to grow a mind: Statistics, structure, and abstraction. Science\u00a0331, 1279\u20131285 (2011)","journal-title":"Science"},{"key":"5_CR36","series-title":"Current Issues in Linguistic Theory (CILT)","first-page":"29","volume-title":"RANLP","author":"S.G. Pulman","year":"2003","unstructured":"Pulman, S.G., Liakata, M.: Learning domain theories. In: Nicolov, N., Bontcheva, K., Angelova, G., Mitkov, R. (eds.) RANLP. Current Issues in Linguistic Theory (CILT), vol.\u00a0260, pp. 29\u201344. John Benjamins, Amsterdam\/Philadelphia (2003)"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1111\/j.1551-6709.2009.01068.x","volume":"34","author":"M. Baroni","year":"2010","unstructured":"Baroni, M., Murphy, B., Barbu, E., Poesio, M.: Strudel: A corpus-based semantic model based on properties and types. Cognitive Science\u00a034, 222\u2013254 (2010)","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Constraint Solving and Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41578-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,18]],"date-time":"2024-05-18T17:02:13Z","timestamp":1716051733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41578-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415777","9783642415784"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41578-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}