A Translational Approach to Constraint Answer Set Solving

Christian Drescher Toby Walsh

Published in: CoRR (2010)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
information retrieval
knowledge base
linear constraints
fixpoint
database
np hard
combinatorial optimization
anti monotone
semantics of logic programs