Keyphrases
- proof procedures
- modal logic
- argumentation theory
- logic programming
- logic based argumentation
- argumentation systems
- multi valued
- predicate logic
- inference rules
- legal reasoning
- defeasible logic
- defeasible reasoning
- automated reasoning
- epistemic logic
- proof theory
- argumentation semantics
- sound and complete axiomatization
- data sets