Proof-complexity results for nonmonotonic reasoning.
Uwe EglyHans TompitsPublished in: ACM Trans. Comput. Log. (2001)
Keyphrases
- nonmonotonic reasoning
- proof theoretic
- logic programming
- default reasoning
- default logic
- belief revision
- commonsense reasoning
- possibility theory
- conditional logic
- proof theory
- nonmonotonic logics
- nonmonotonic inference
- defeasible reasoning
- autoepistemic logic
- causal inference
- defeasible logic
- linear logic
- extended logic programs
- high level
- fixpoint
- default rules
- decision problems
- machine learning