A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint.
Hirohisa SekiPublished in: LPNMR (1990)
Keyphrases
- viewpoint
- logic programs
- logic programming
- stable models
- normal logic programs
- fixpoint
- situation calculus
- stable model semantics
- logic programs with negation
- answer set programming
- autoepistemic logic
- minimal models
- nonmonotonic reasoning
- classical logic
- semantics for logic programs
- deductive databases
- inductive logic programming
- datalog programs
- programming language
- database
- default logic
- distributed databases
- default theories
- knowledge representation