Argumentation Semantics for Defeasible Logics.
Guido GovernatoriMichael J. MaherGrigoris AntoniouDavid BillingtonPublished in: PRICAI (2000)
Keyphrases
- argumentation semantics
- nonmonotonic reasoning
- inheritance reasoning
- practical reasoning
- argumentation frameworks
- default logic
- nonmonotonic logics
- default reasoning
- conditional logic
- nonmonotonic inference
- defeasible logic
- modal logic
- expressive power
- logic programming
- default theories
- belief revision
- classical logic
- argumentation systems
- autoepistemic logic
- tableau calculus
- decision problems
- learning algorithm
- deontic logic
- argumentation theory
- knowledge base
- temporal logic
- bayesian networks