Answer Sets: From Constraint Programming Towards Qualitative Optimization.
Gerhard BrewkaPublished in: LPNMR (2004)
Keyphrases
- constraint programming
- answer sets
- logic programs
- combinatorial problems
- answer set programming
- constraint satisfaction
- constraint satisfaction problems
- logic programming
- constraint propagation
- global constraints
- answer set semantics
- optimization problems
- normal logic programs
- search strategies
- itemset mining
- symmetry breaking
- hard and soft constraints
- qualitative and quantitative
- combinatorial optimization
- fixpoint
- answer set programs
- sat solvers
- finite domain