{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:59:48Z","timestamp":1649001588641},"reference-count":0,"publisher":"Institute of Computer Science, Polish Academy of Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JLM"],"abstract":"We argue that computational modelling of perception, action, language, and cognition introduces several requirements on a formal semantic theory and its practical implementations. Using examples of semantic representations of spatial descriptions we show how Type Theory with Records (TTR) satisfies these requirements.<\/jats:p>","DOI":"10.15398\/jlm.v5i2.148","type":"journal-article","created":{"date-parts":[[2017,11,11]],"date-time":"2017-11-11T00:24:44Z","timestamp":1510359884000},"source":"Crossref","is-referenced-by-count":2,"title":["Interfacing language, spatial perception and cognition in Type Theory with Records"],"prefix":"10.15398","volume":"5","author":[{"given":"Simon","family":"Dobnik","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-8133-4592","authenticated-orcid":false,"given":"Robin","family":"Cooper","sequence":"additional","affiliation":[]}],"member":"6057","published-online":{"date-parts":[[2017,11,3]]},"container-title":["Journal of Language Modelling"],"original-title":[],"link":[{"URL":"https:\/\/jlm.ipipan.waw.pl\/index.php\/JLM\/article\/download\/148\/172","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/jlm.ipipan.waw.pl\/index.php\/JLM\/article\/download\/148\/172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,18]],"date-time":"2021-02-18T12:25:37Z","timestamp":1613651137000},"score":1,"resource":{"primary":{"URL":"https:\/\/jlm.ipipan.waw.pl\/index.php\/JLM\/article\/view\/148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,3]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,10,31]]}},"URL":"https:\/\/doi.org\/10.15398\/jlm.v5i2.148","relation":{},"ISSN":["2299-8470","2299-856X"],"issn-type":[{"value":"2299-8470","type":"electronic"},{"value":"2299-856X","type":"print"}],"subject":[],"published":{"date-parts":[[2017,11,3]]}}}