On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).
Enrico GiunchigliaMarco MarateaPublished in: ICLP (2005)
Keyphrases
- answer sets
- answer set solvers
- answer set programming
- logic programs
- answer set programs
- sat solvers
- logic programming
- answer set semantics
- normal logic programs
- stable model semantics
- stable models
- reasoning tasks
- artificial intelligence
- machine learning
- knowledge representation
- fixpoint
- nonmonotonic reasoning
- constraint satisfaction
- orders of magnitude
- programming language