Keyphrases
- optimal strategy
- formal theory
- repeated games
- computer games
- mixed strategy
- game playing
- winning strategy
- modal logic
- two player games
- game theory
- solution concepts
- rational agents
- classical logic
- logic programming
- minimax search
- nash equilibrium
- video games
- multi valued
- game based learning
- spatial reasoning
- imperfect information
- game theoretic
- predicate logic
- incomplete information
- virtual world
- equilibrium strategies
- virtual environment
- complete axiomatization
- logic programs