A Formal Semantics for Iconic Spatial Gestures.
Gianluca GiorgoloPublished in: Amsterdam Colloquium on Logic, Language and Meaning (2009)
Keyphrases
- formal semantics
- logical language
- logical reasoning
- formal language
- spatial data
- modeling language
- er model
- first order logic
- spatial databases
- hand gestures
- owl dl ontology
- ontology languages
- operational semantics
- learning objects
- modelling language
- artificial intelligence
- human robot interaction
- software development
- query language
- hidden markov models
- user interface
- computational complexity