The nomore++ Approach to Answer Set Solving.

Christian Anger Martin Gebser Thomas Linke André Neumann Torsten Schaub

Published in: LPAR (2005)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
fixpoint
stable models
knowledge base
general purpose
dynamic programming
evolutionary algorithm
data mining
loop formulas
counter examples
databases