A Note On Fixpoint Techniques in Data Base Recursive Logic Programs.
Irène GuessarianPublished in: RAIRO Theor. Informatics Appl. (1988)
Keyphrases
- fixpoint
- logic programs
- recursive queries
- datalog programs
- recursive programs
- logic programming
- database
- stable models
- answer sets
- answer set programming
- background knowledge
- normal logic programs
- databases
- inductive logic programming
- deductive databases
- model theoretic
- horn clauses
- fixpoint semantics
- truth values
- stable model semantics
- magic sets
- decision procedures
- nonmonotonic reasoning