Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
V. Wiktor MarekAnil NerodeJeffrey B. RemmelPublished in: LICS (1995)
Keyphrases
- nonmonotonic reasoning
- default logic
- default reasoning
- default theories
- logic programming
- autoepistemic logic
- nonmonotonic logics
- commonsense reasoning
- possibility theory
- nonmonotonic inference
- belief revision
- default rules
- extended logic programs
- modal logic
- fixed point
- classical logic
- defeasible logic
- database
- fixpoint
- software engineering