Knowledge-Based Constraint Satisfaction for Spatial Reasoning.
Dan TappanPublished in: FLAIRS Conference (2004)
Keyphrases
- constraint satisfaction
- spatial reasoning
- constraint satisfaction problems
- spatial relations
- spatial knowledge
- expert systems
- heuristic search
- topological relations
- temporal reasoning
- constraint propagation
- constraint relaxation
- constraint programming
- robust fault detection
- directional relations
- arc consistency
- constraint solving
- search space
- constraint problems
- product configuration
- sat solvers
- formal theory
- constrained problems
- visual information
- constraint optimization
- contextual information
- np complete
- special case
- russian doll search