Login / Signup
Potassco: The Potsdam Answer Set Solving Collection.
Martin Gebser
Benjamin Kaufmann
Roland Kaminski
Max Ostrowski
Torsten Schaub
Marius Schneider
Published in:
AI Commun. (2011)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
fixpoint
document collections
combinatorial optimization
normal logic programs
answer set programs
database
databases
general purpose
loop formulas
data structure