A Dialectical Characterisation of Argument Game Proof Theories for Classical Logic Argumentation.
Federico CastagnaPublished in: AI³@AI*IA (2021)
Keyphrases
- classical logic
- logic programming
- defeasible argumentation
- argumentation theory
- argumentation schemes
- automated theorem proving
- argumentation systems
- linear logic
- logic programs
- nonmonotonic reasoning
- formal model
- argumentation semantics
- game theory
- possibilistic logic
- programming language
- knowledge representation
- intuitionistic logic
- legal reasoning
- argumentation frameworks
- modal logic
- general theory
- default logic
- sequent calculus
- knowledge base
- defeasible reasoning
- valued logic
- proof theoretic
- abstract argumentation
- high level
- multi agent systems
- sensemaking
- default theories
- decision theory