A flexible framework for defeasible logics
Grigoris AntoniouDavid BillingtonGuido GovernatoriMichael J. MaherPublished in: CoRR (2000)
Keyphrases
- inheritance reasoning
- default logic
- default reasoning
- tableau calculus
- defeasible logic
- modal logic
- expressive power
- theoretically sound
- defeasible reasoning
- multiple inheritance
- nonmonotonic logics
- nonmonotonic inference
- nonmonotonic reasoning
- conditional logic
- propositional calculus
- neural network
- autoepistemic logic
- practical reasoning
- proof theory
- description logics
- update semantics
- data mining
- classical logic
- machine learning
- knowledge base
- conflicting information
- multi agent
- partial order
- epistemic logic
- default theories