Answer Sets: From Constraint Programming Towards Qualitative Optimization.

Published 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