Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.
Carl P. L. SchultzMehul BhattPublished in: AAAI Workshop: Declarative Learning Based Programming (2016)
Keyphrases
- spatial reasoning
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- spatial relations
- temporal reasoning
- constraint solver
- knowledge representation
- directional relations
- constraint programming
- spatial knowledge
- topological relations
- high level
- temporal constraints
- qualitative spatial reasoning
- spatial information
- closely related
- dynamic programming
- search space
- reinforcement learning
- computer vision