Login / Signup
A Simple Distributed Conflict-Driven Answer Set Solver.
Enrico Ellguth
Martin Gebser
Markus Gusowski
Benjamin Kaufmann
Roland Kaminski
Stefan Liske
Torsten Schaub
Lars Schneidenbach
Bettina Schnor
Published in:
LPNMR (2009)
Keyphrases
</>
answer sets
logic programs
answer set programming
logic programming
distributed systems
answer set semantics
artificial intelligence