Login / Signup
The Potsdam Answer Set Solving Collection 5.0.
Martin Gebser
Roland Kaminski
Benjamin Kaufmann
Patrick Lühne
Philipp Obermeier
Max Ostrowski
Javier Romero
Torsten Schaub
Sebastian Schellhorn
Philipp Wanko
Published in:
Künstliche Intell. (2018)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
fixpoint
information systems
database
document collections
reasoning tasks
counter examples
semantics for logic programs