Dynamic Path Consistency for Spatial Reasoning.
Lamia BelouaerMaroua BouzidMalek MouhoubPublished in: ICTAI (2012)
Keyphrases
- spatial reasoning
- temporal reasoning
- path consistency
- topological relations
- qualitative spatial reasoning
- temporal constraints
- constraint networks
- spatial relations
- global consistency
- temporal information
- spatial knowledge
- formal theory
- constraint propagation
- consistency checking
- qualitative and quantitative
- video sequences
- constraint satisfaction
- interval algebra
- closely related
- special case