Theta-Subsumption in a Constraint Satisfaction Perspective.
Jérôme MalobertiMichèle SebagPublished in: ILP (2001)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- constraint programming
- np complete
- heuristic search
- relaxation labeling
- description logics
- phase transition
- arc consistency
- constraint relaxation
- soft constraints
- russian doll search
- worst case
- probabilistic reasoning
- combinatorial problems
- constraint solver
- knowledge base
- search strategies
- upper bound
- product configuration
- expert systems
- robust fault detection