An inclusion theorem for defeasible logics.
David BillingtonGrigoris AntoniouGuido GovernatoriMichael J. MaherPublished in: ACM Trans. Comput. Log. (2010)
Keyphrases
- inheritance reasoning
- default logic
- intuitionistic logic
- tableau calculus
- defeasible logic
- nonmonotonic reasoning
- modal logic
- classical logic
- nonmonotonic logics
- expressive power
- default reasoning
- defeasible reasoning
- valued logic
- database
- proof theory
- propositional calculus
- proof theoretic
- conditional logic
- inference rules
- deontic logic
- practical reasoning
- multiple inheritance
- proof procedures
- nonmonotonic inference
- artificial intelligence
- linear logic
- epistemic logic
- belief revision
- fuzzy logic
- control system
- knowledge base