Conflict-driven answer set solving: From theory to practice.

Martin Gebser Benjamin Kaufmann Torsten Schaub

Published in: Artif. Intell. (2012)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
semantics of logic programs
fixpoint
propositional theories
data structure
software engineering
general purpose
counter examples