Multiple logics within argument: how defeasible and classical reasoning work together.
Keith StenningPublished in: COMMA (2012)
Keyphrases
- inheritance reasoning
- practical reasoning
- horn logic
- conflicting information
- nonmonotonic reasoning
- expressive power
- nonmonotonic inference
- default reasoning
- logical framework
- knowledge base
- legal cases
- abstract argumentation
- argumentation frameworks
- reasoning systems
- defeasible reasoning
- argumentation schemes
- knowledge representation
- proof theoretic
- hypothetical reasoning
- proof theory
- argumentation systems
- automated reasoning