RCC8 binary constraint network can be consistently extended.
Sanjiang LiHuaiqing WangPublished in: Artif. Intell. (2006)
Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- constraint satisfaction problems
- set intersection
- temporal constraint networks
- constraint satisfaction
- constraint programming
- path consistency
- binary constraints
- non binary
- arc consistency
- constraint language
- interval algebra
- scene labeling
- spatial reasoning
- temporal constraints
- high level
- maximal tractable
- max csp