Keyphrases
- proof theory
- computational model
- theoretical framework
- abstract argumentation frameworks
- logic programming
- general theory
- abstract argumentation
- multiple types
- formal semantics
- proof theoretic
- database query languages
- coalitional games
- speech acts
- logical framework
- game design
- nash equilibrium
- video games
- computer games
- virtual environment