Logic and argumentation.
Thomas ÅgotnesBeishui LiaoYì N. WángPublished in: J. Appl. Non Class. Logics (2018)
Keyphrases
- proof procedures
- argumentation theory
- modal logic
- predicate logic
- logic based argumentation
- defeasible reasoning
- inference rules
- multi valued
- argumentation frameworks
- defeasible logic
- evidential reasoning
- digital circuits
- argumentation systems
- artificial intelligence
- data sets
- asynchronous circuits
- proof theory
- argumentation semantics
- abstract argumentation
- abstract argumentation frameworks
- content analysis
- knowledge base