Interfacing language, spatial perception and cognition in Type Theory with Records.
Simon DobnikRobin CooperPublished in: J. Lang. Model. (2017)
Keyphrases
- social cognition
- cognitive models
- programming language
- strongly typed
- embodied cognition
- type checking
- information foraging
- cognitive development
- databases
- natural language
- information processing
- formal theory
- spatio temporal
- spatial data
- database
- cognitive psychology
- spatial relationships
- spatial and temporal
- spatial information
- space time
- specification language
- speech acts
- theoretical framework
- mathematical theory
- spatial reasoning
- human perception
- cognitive processing
- database programming language
- cognitive robotics
- human problem solving
- artificial intelligence
- developmental psychology