: A System for Computing Preferred Answer Sets.

Susanne Grell Kathrin Konczak Torsten Schaub

Published in: LPNMR (2005)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
answer set semantics
answer set programs
extended logic programs
logic program updates
fixpoint
sat solvers
counter examples
semantics of logic programs
database systems
orders of magnitude