Keyphrases
- default logic
- default theories
- logic programming
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- programming language
- nonmonotonic logics
- default rules
- modal logic
- fixed point
- extended logic programs
- classical logic
- truth maintenance systems
- fixpoint
- sufficient conditions
- object oriented
- high level
- database