Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.

Christian Drescher Toby Walsh

Published in: AAAI (2011)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
global constraints
answer set semantics
normal logic programs
conflict resolution
answer set programs
loop formulas
machine learning
anti monotone
fixpoint
linear constraints
partial solutions
reasoning tasks
search strategy
artificial intelligence