A stochastic interpretation of game logic.
Ernst-Erich DoberkatPublished in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
- winning strategy
- game theory
- video games
- computer games
- modal logic
- logic programming
- game theoretic
- nash equilibrium
- game design
- real time strategy games
- game play
- game playing
- stochastic optimization
- classical logic
- learning games
- educational games
- image interpretation
- high level
- automated reasoning
- online game
- monte carlo
- predicate logic
- perfect information
- proof theory
- serious games
- mobile games
- state space
- nash equilibria
- stochastic programming
- imperfect information
- defeasible logic
- logical framework
- virtual world
- learning experience