Keyphrases
- haptic interaction
- virtual environment
- first order logic
- haptic feedback
- cardinality constraints
- global constraints
- constraint query languages
- high fidelity
- artificial intelligence
- human interaction
- virtual reality
- geometric constraints
- fixpoint
- constraint programming
- visual feedback
- boolean algebra
- query processing
- search algorithm