Login / Signup

A Simple Distributed Conflict-Driven Answer Set Solver.

Enrico EllguthMartin GebserMarkus GusowskiBenjamin KaufmannRoland KaminskiStefan LiskeTorsten SchaubLars SchneidenbachBettina Schnor
Published in: LPNMR (2009)
Keyphrases
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • distributed systems
  • answer set semantics
  • artificial intelligence