Abstract machines for game semantics, revisited
Olle FredrikssonDan R. GhicaPublished in: CoRR (2013)
Keyphrases
- computer games
- formal semantics
- game theory
- video games
- propositional dynamic logic
- game play
- low level
- semantic information
- graphical representation
- logic programming
- monte carlo tree search
- serious games
- optimal strategy
- nash equilibrium
- real time strategy games
- game players
- active rules
- database
- virtual world
- search algorithm
- neural network