A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.
Gérard FerrandArnaud LallouetPublished in: ICLP (2002)
Keyphrases
- logic programs
- finite domain
- answer set programming
- constraint satisfaction problems
- logic programming
- answer sets
- constraint propagation
- constraint logic programming
- constraint programming
- stable models
- fixpoint
- normal logic programs
- constraint solving
- constraint satisfaction
- background knowledge
- inductive logic programming
- arc consistency
- computational properties
- constraint solver
- search space
- knowledge base
- combinatorial problems
- horn clauses
- machine learning
- query processing
- object oriented
- constraint networks
- utility function
- deductive databases