Equipping sequent-based argumentation with defeasible assumptions.
Annemarie BorgPublished in: CoRR (2018)
Keyphrases
- defeasible reasoning
- practical reasoning
- argumentation frameworks
- legal reasoning
- inference rules
- proof procedures
- defeasible logic
- argumentation schemes
- defeasible logic programming
- argumentation systems
- modal logic
- formal semantics
- evidential reasoning
- knowledge representation
- deontic logic
- simplifying assumptions
- argumentation semantics
- nonmonotonic reasoning
- default logic