P-stable models of strong kernel programs.
Claudia ZepedaJosé Luis CarballidoPublished in: J. Algorithms (2009)
Keyphrases
- stable models
- logic programs
- normal logic programs
- logic programming
- fixpoint
- stable model semantics
- answer set programming
- general theory
- answer sets
- logic programs with negation
- loop formulas
- kernel function
- deductive databases
- answer set programs
- semantics for logic programs
- declarative semantics
- strong equivalence
- finite state machines
- data model
- fixpoint semantics