Approximating Extended Answer Sets.

Davy Van Nieuwenborgh Stijn Heymans Dirk Vermeir

Published in: ECAI (2006)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set programs
answer set semantics
normal logic programs
fixpoint
extended logic programs
stable models
semantics of logic programs
disjunctive logic programming
counter examples
evolutionary algorithm
programming language