The Stable Models of a Predicate Logic Program.
V. Wiktor MarekAnil NerodeJeffrey B. RemmelPublished in: JICSLP (1992)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- datalog programs
- fixpoint
- horn clauses
- stable model semantics
- answer set programming
- first order logic
- deductive databases
- answer sets
- computational properties
- background knowledge
- loop formulas
- declarative semantics
- answer set programs
- logic programs with negation
- inductive logic programming
- strong equivalence
- answer set semantics
- minimal models