• Home
  • Spatial descriptions in Type Theory with Records

Spatial descriptions in Type Theory with Records

Sourcetitle: 
Proceedings of IWCS 2013 Workshop on Computational Models of Spatial Language Interpretation and Generation (CoSLI-3)
Year of publication: 
2013
PublicationType: 
Conference paper - peer reviewed

We present how TTR (Type Theory with Records) can model both geometric perception and conceptual (world) knowledge relating to the meaning of spatial descriptions for a robotic agent.

http://gup.ub.gu.se/records/fulltext/175132/175132.pdf
http://www.aclweb.org/anthology/W/W13/

Sourcepages: 
1-6
To the top

Page updated: 2013-04-01 23:57

Send as email
Print page
Show as pdf

X
Loading