Keyphrases
- modal logic
- expressive power
- computer games
- video games
- nash equilibria
- game theoretic
- database systems
- weighted majority
- game theory
- inference rules
- educational games
- concurrency control
- propositional calculus
- databases
- monte carlo tree search
- neural network
- game playing
- game design
- online game
- serious games
- conditional logic
- game development
- learning games
- evaluation function
- multi agent systems