Keyphrases
- winning strategy
- game theory
- computer games
- game playing
- video games
- logic programming
- educational games
- nash equilibrium
- classical logic
- digital circuits
- serious games
- optimal strategy
- imperfect information
- proof theory
- real time strategy games
- pursuit evasion
- modal logic
- game play
- logical framework
- game tree search
- proof procedures