Constants and finite unary relations in qualitative constraint reasoning.
Peter JonssonPublished in: Artif. Intell. (2018)
Keyphrases
- constraint reasoning
- constraint propagation
- interval algebra
- path consistency
- temporal reasoning
- temporal constraints
- point algebra
- pairwise
- qualitative spatial reasoning
- binary constraints
- arc consistency
- qualitative and quantitative
- qualitative reasoning
- real numbers
- constraint satisfaction problems
- constraint satisfaction
- quantitative and qualitative
- maximal tractable
- semantic relations
- constraint programming
- databases
- temporal relations
- search space
- topological relations
- high level