The Stable Models of a Predicate Logic Program.
V. Wiktor MarekAnil NerodeJeffrey B. RemmelPublished in: J. Log. Program. (1994)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- datalog programs
- horn clauses
- fixpoint
- stable model semantics
- answer set programming
- logic programs with negation
- deductive databases
- first order logic
- strong equivalence
- background knowledge
- loop formulas
- answer set programs
- answer sets
- inductive logic programming
- query evaluation
- update operators