A Mathematical Game Semantics of Concurrency and Nondeterminism.
Julian GutierrezPublished in: ICTAC (2015)
Keyphrases
- formal semantics
- game theory
- computer games
- virtual world
- game playing
- educational games
- perfect information
- logic programming
- semantic information
- video games
- concurrency control
- situation calculus
- game based learning
- game theoretic
- game design
- nash equilibrium
- database systems
- database
- mathematical models
- optimal strategy
- transaction processing
- multi agent
- reasoning tasks
- operational semantics