An Occlusion Calculus Based on an Interval Algebra.
Paulo E. SantosGerard LigozatMarjan Safi-SamghabadiPublished in: BRACIS (2015)
Keyphrases
- interval algebra
- temporal reasoning
- temporal constraints
- qualitative spatial and temporal reasoning
- path consistency
- constraint propagation
- temporal information
- constraint networks
- reasoning problems
- reasoning tasks
- temporal relations
- point algebra
- qualitative and quantitative
- description logics
- maximal tractable
- visual information
- constraint satisfaction problems
- bayesian networks
- query language
- computational complexity