A Constraint Satisfaction Approach to Geospatial Reasoning.
Martin MichalowskiCraig A. KnoblockPublished in: AAAI (2005)
Keyphrases
- constraint satisfaction
- probabilistic reasoning
- constraint satisfaction problems
- heuristic search
- constraint programming
- constraint relaxation
- knowledge base
- phase transition
- arc consistency
- distributed constraint satisfaction
- combinatorial problems
- automated reasoning
- russian doll search
- constraint propagation
- sat solvers
- relaxation labeling
- product configuration
- forward checking
- knowledge representation
- search space
- search strategies
- robust fault detection
- state space
- constraint problems
- constrained problems
- dynamic programming