Integrating Constraint Satisfaction and Spatial Reasoning.
Unmesh KurupNicholas L. CassimatisPublished in: AAAI (2010)
Keyphrases
- constraint satisfaction
- spatial reasoning
- constraint satisfaction problems
- temporal reasoning
- spatial relations
- spatial knowledge
- constraint relaxation
- heuristic search
- topological relations
- constraint propagation
- russian doll search
- constraint programming
- directional relations
- probabilistic reasoning
- constraint networks
- soft constraints
- arc consistency
- constraint solving
- qualitative spatial reasoning
- temporal constraints
- constraint optimization
- computer vision
- product configuration
- constraint problems
- formal theory
- sat solvers
- search space
- feature space
- computational complexity