The Conflict-Driven Answer Set Solver clasp: Progress Report.

Martin Gebser Benjamin Kaufmann Torsten Schaub

Published in: LPNMR (2009)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
conflict resolution
fixpoint
normal logic programs
loop formulas
information retrieval
knowledge base
expressive power
nonmonotonic reasoning
reasoning tasks
counter examples