On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.
Ilkka NiemeläJussi RintanenPublished in: J. Appl. Non Class. Logics (1994)
Keyphrases
- nonmonotonic reasoning
- logic programming
- default reasoning
- belief revision
- default logic
- conditional logic
- commonsense reasoning
- defeasible reasoning
- nonmonotonic inference
- defeasible logic
- possibility theory
- abductive reasoning
- nonmonotonic logics
- autoepistemic logic
- inheritance reasoning
- default theories
- sufficient conditions
- logic programs
- causal inference
- extended logic programs
- databases
- default rules
- general purpose