Keyphrases
- winning strategy
- video games
- classical logic
- educational games
- game theory
- computer games
- modal logic
- game playing
- logic programming
- serious games
- flip flops
- game design
- game theoretic
- proof theory
- predicate logic
- role playing
- real time strategy games
- game development
- computational properties
- optimal strategy
- multi valued
- artificial intelligence
- game play
- description logics
- nash equilibria
- automated reasoning
- game based learning
- deontic logic
- two player games
- nash equilibrium
- search algorithm