Achieving compositionality of the stable model semantics for smodels programs.
Emilia OikarinenTomi JanhunenPublished in: Theory Pract. Log. Program. (2008)
Keyphrases
- stable models
- normal logic programs
- stable model semantics
- logic programs
- fixpoint
- logic programming
- answer set programming
- answer sets
- logic programs with negation
- deductive databases
- declarative semantics
- default reasoning
- semantics for logic programs
- answer set semantics
- magic sets
- minimal models
- closed world
- inductive logic programming