On Partial Pseudo-Stable Models For Logic Programs.
Victor FeleaPublished in: Sci. Ann. Cuza Univ. (2005)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- fixpoint
- answer set programming
- answer set programs
- answer sets
- stable model semantics
- computational properties
- logic programs with negation
- background knowledge
- loop formulas
- strong equivalence
- horn clauses
- answer set semantics
- nonmonotonic reasoning
- inductive logic programming
- high level
- semantics for logic programs