: A Conflict-Driven Answer Set Solver.
Martin GebserBenjamin KaufmannAndré NeumannTorsten SchaubPublished in: LPNMR (2007)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- normal logic programs
- fixpoint
- conflict resolution
- semantics of logic programs
- loop formulas
- counter examples
- orders of magnitude
- stable models
- np complete
- software engineering
- query language
- expert systems
- artificial intelligence