A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.
Susumu YamasakiYoshinori KurosePublished in: Theor. Comput. Sci. (2001)
Keyphrases
- logic programs
- stable model semantics
- stable models
- answer set programming
- logic programming
- normal logic programs
- answer sets
- closed world
- fixpoint
- background knowledge
- loop formulas
- inductive logic programming
- answer set semantics
- disjunctive logic programs
- deductive databases
- rdf graphs
- normal form
- database systems
- databases
- open world
- database