Keyphrases
- winning strategy
- video games
- game theory
- computer games
- game playing
- modal logic
- virtual world
- stochastic games
- nash equilibrium
- game theoretic
- game design
- logic programming
- automated reasoning
- predicate logic
- perfect information
- proof theory
- educational games
- role playing
- sound and complete axiomatization
- serious games
- online game
- data sets
- design process
- logic programs
- multi agent systems