Keyphrases
- winning strategy
- game playing
- computer games
- logic programming
- game theoretic
- game design
- game theory
- virtual world
- modal logic
- game play
- video games
- educational games
- nash equilibrium
- serious games
- monte carlo tree search
- classical logic
- mobile devices
- pursuit evasion
- board game
- epistemic logic
- digital circuits
- logical framework
- multi valued
- automated reasoning
- data sets