A Fully Abstract Game Semantics for Countable Nondeterminism.
William John GowersJames David LairdPublished in: CSL (2018)
Keyphrases
- game design
- formal semantics
- nash equilibrium
- high level
- virtual world
- game theory
- game theoretic
- computer games
- nonmonotonic logics
- higher level
- orders of magnitude
- game playing
- situation calculus
- game play
- propositional dynamic logic
- serious games
- educational games
- video games
- semantic information
- semantic web
- markov chain
- dynamic programming