A Fixpoint Definition of Dynamic Constraint Satisfaction.
Timo SoininenEsther M. GelleIlkka NiemeläPublished in: CP (1999)
Keyphrases
- constraint satisfaction
- fixpoint
- constraint satisfaction problems
- logic programs
- deductive databases
- model theoretic
- heuristic search
- constraint networks
- arc consistency
- russian doll search
- probabilistic reasoning
- finite state machines
- constraint propagation
- logic programming
- datalog programs
- constraint solving
- constraint relaxation
- constraint programming
- stable models
- robust fault detection
- soft constraints
- horn clauses
- special case
- answer sets
- databases
- search strategies
- learning algorithm
- machine learning