Stable Semantics for Logic Programs and Default Theories.
V. Wiktor MarekMiroslaw TruszczynskiPublished in: NACLP (1989)
Keyphrases
- default theories
- default logic
- semantics for logic programs
- logic programming
- minimal models
- autoepistemic logic
- answer set programming
- logic programs
- answer sets
- nonmonotonic reasoning
- stable models
- default reasoning
- open world
- nonmonotonic logics
- normal logic programs
- fixpoint
- theorem prover
- classical logic
- knowledge base
- high level
- databases
- deductive databases
- normal form
- sufficient conditions
- database