Keyphrases
- winning strategy
- computer games
- game theory
- modal logic
- computational properties
- description logics
- decision procedures
- video games
- game playing
- game theoretic
- nash equilibrium
- classical logic
- automated reasoning
- cooperative
- optimal strategy
- situation calculus
- online game
- digital games
- temporal logic
- query answering
- search algorithm
- game development
- e learning
- complete axiomatization