Answer Set Enumeration via Assumption Literals.

Mario Alviano Carmine Dodaro

Published in: AI*IA (2016)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
fixpoint
sat solvers
normal logic programs
counter examples
database
search algorithm
search space
dynamic programming
data exchange
loop formulas