Reasoning by Dominance in Not-Equals Binary Constraint Networks.
Belaid BenhamouMohamed Réda SaïdiPublished in: CP (2006)
Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- constraint satisfaction problems
- constraint satisfaction
- reasoning tasks
- reasoning problems
- temporal constraint networks
- non binary
- tree width
- set intersection
- path consistency
- binary constraints
- scene labeling
- arc consistency
- bayes networks
- knowledge base
- spatial reasoning
- backtracking algorithms
- maximal tractable
- constraint language
- constraint programming
- probabilistic reasoning
- complexity bounds
- backtracking algorithm
- cp nets
- automated reasoning
- qualitative spatial and temporal reasoning
- qualitative and quantitative
- knowledge representation
- objective function