Dialectical Argument Game Proof Theories for Classical Logic.
Federico CastagnaPublished in: FLAP (2023)
Keyphrases
- classical logic
- logic programming
- defeasible argumentation
- argumentation schemes
- automated theorem proving
- argumentation theory
- linear logic
- logic programs
- nonmonotonic reasoning
- possibilistic logic
- programming language
- argumentation systems
- game theory
- knowledge base
- knowledge representation
- modal logic
- legal reasoning
- theorem proving
- deductive databases
- intuitionistic logic
- sequent calculus
- stable models
- argumentation semantics
- default logic
- natural deduction
- computational intelligence
- general purpose
- probabilistic model