Work

Interfacing language, spatial perception and cognition in Type Theory with Records

Year: 2017
Type: article
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.
Language: English
Open Access status: diamond
OpenAlex ID: W2767904153
FWCI: 7.934
Cites: 22
Cited by: 8
Related to: 10