Game Semantics & Abstract Machines.
Vincent DanosHugo HerbelinLaurent RegnierPublished in: LICS (1996)
Keyphrases
- game theory
- formal semantics
- computer games
- propositional dynamic logic
- logic programming
- graphical representation
- game theoretic
- game play
- video games
- higher level
- serious games
- nash equilibrium
- high level
- neural network
- game playing
- decision problems
- operational semantics
- nonmonotonic logics
- coalitional games
- monte carlo tree search
- cooperative game