A TCSP-like decidable constraint language generalising existing cardinal direction relations
Amar IsliPublished in: CoRR (2004)
Keyphrases
- constraint language
- cardinal direction relations
- constraint networks
- temporal reasoning
- constraint satisfaction problems
- qualitative spatial
- integrity constraints
- object oriented
- modeling language
- first order logic
- constraint satisfaction
- binary relations
- transitive closure
- cardinal directions
- temporal constraints
- metamodel
- process model
- arc consistency
- consistency checking
- qualitative and quantitative
- qualitative spatial reasoning
- np hard
- search space
- path consistency
- constraint propagation
- lower bound
- spatial relationships
- constraint programming
- temporal information
- life cycle