2139 search results - page 7 / 428 » Connecting language to the world |
SIGGRAPH
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
FOIS
2006
13 years 8 months ago
2006
Deductive reasoning with natural language requires combining lexical resources with the world knowledge provided by ontologies. In this paper we describe the connection of FrameNe...
ENTCS
2007
13 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
VL
2008
IEEE
14 years 1 months ago
2008
IEEE