Incremental Constraint Satisfaction for Equational Logic Programming.
María AlpuenteMoreno FalaschiGiorgio LeviPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- constraint satisfaction
- logic programming
- logic programs
- constraint satisfaction problems
- answer set programming
- logic programming language
- programming language
- theorem proving
- probabilistic reasoning
- heuristic search
- constraint propagation
- knowledge representation
- constraint programming
- constraint solving
- answer sets
- knowledge base
- phase transition
- constraint logic programming
- deductive databases
- constraint relaxation
- soft constraints
- theorem prover
- stable models
- combinatorial problems
- default logic
- sat solvers
- arc consistency
- horn clauses
- learning algorithm
- general purpose
- bayesian networks
- russian doll search