A translational approach to constraint answer set solving.

Christian Drescher Toby Walsh

Published in: Theory Pract. Log. Program. (2010)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set semantics
anti monotone
general purpose
combinatorial optimization
loop formulas
answer set programs
optimal solution
software engineering
fixpoint