Keyphrases
- proof procedures
- argumentation theory
- logic based argumentation
- logic programming
- modal logic
- defeasible reasoning
- multi valued
- classical logic
- defeasible logic
- nonmonotonic logics
- digital circuits
- argumentation semantics
- proof theory
- predicate logic
- set theory
- epistemic logic
- asynchronous circuits
- natural deduction
- data sets
- automated reasoning
- inference rules
- programming language