Keyphrases
- special issue
- video games
- game theory
- computer games
- nash equilibria
- modal logic
- winning strategy
- educational games
- computer programs
- sound and complete axiomatization
- weighted majority
- defeasible logic
- classical logic
- multi valued
- reinforcement learning
- game design
- game play
- logic programming
- automated reasoning
- game playing
- digital games
- computational properties
- serious games
- game tree search
- board game
- proof theory
- incomplete information
- pure nash equilibria
- search algorithm