A Flexible Framework for Defeasible Logics.
Grigoris AntoniouDavid BillingtonGuido GovernatoriMichael J. MaherPublished in: AAAI/IAAI (2000)
Keyphrases
- inheritance reasoning
- default logic
- defeasible logic
- expressive power
- default reasoning
- nonmonotonic logics
- tableau calculus
- nonmonotonic reasoning
- nonmonotonic inference
- modal logic
- theoretically sound
- conditional logic
- defeasible reasoning
- legal reasoning
- proof theory
- classical logic
- default theories
- inference rules
- deontic logic
- proof theoretic
- multiple inheritance
- propositional dynamic logic
- belief revision
- autoepistemic logic
- databases
- epistemic logic
- logic programming
- temporal logic
- description logics