Login / Signup

Challenges in Answer Set Solving.

Martin GebserRoland KaminskiBenjamin KaufmannTorsten Schaub
Published in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Keyphrases
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • answer set semantics
  • normal logic programs
  • answer set programs
  • general purpose
  • fixpoint
  • high level
  • stable models
  • loop formulas
  • counter examples