Constraint Answer Set Solving.

Martin Gebser Max Ostrowski Torsten Schaub

Published in: ICLP (2009)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set programs
answer set semantics
anti monotone
database
normal logic programs
deductive databases
loop formulas
fixpoint
information retrieval systems
general purpose
software engineering
data structure
artificial intelligence