Translation-Based Constraint Answer Set Solving.

Christian Drescher Toby Walsh

Published in: IJCAI (2011)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set programs
answer set semantics
combinatorial optimization
linear constraints
anti monotone
incomplete information
sat solvers