Constraint Reasoning in FocalTest.
Matthieu CarlierCatherine DuboisArnaud GotliebPublished in: ICSOFT (2) (2010)
Keyphrases
- constraint reasoning
- constraint propagation
- temporal constraints
- temporal reasoning
- arc consistency
- path consistency
- constraint satisfaction problems
- constraint satisfaction
- database systems
- artificial intelligence
- expert systems
- objective function
- dynamic programming
- knowledge representation
- qualitative and quantitative
- lower bound
- reinforcement learning
- probabilistic reasoning
- image sequences