Spatial Reasoning with Cardinal Relations Based on Constraint Satisfaction Problems and Modal Logics.
Antonio Morales NicolásPublished in: Inteligencia Artif. (2012)
Keyphrases
- constraint satisfaction problems
- spatial reasoning
- modal logic
- qualitative spatial reasoning
- spatial relations
- topological relations
- constraint satisfaction
- directional relations
- path consistency
- decision procedures
- constraint propagation
- inference rules
- temporal logic
- np complete
- temporal reasoning
- nonmonotonic logics
- constraint programming
- constraint networks
- search space
- arc consistency
- non binary
- tractable classes
- soft constraints
- spatial information
- temporal constraints
- binary constraints
- partial constraint satisfaction
- np hard
- situation calculus
- pseudo boolean optimization
- default logic
- knowledge representation
- constraint problems
- optimal solution
- phase transition
- heuristic search
- description logics
- pairwise