The concurrent game semantics of Probabilistic PCF.
Simon CastellanPierre ClairambaultHugo PaquetGlynn WinskelPublished in: LICS (2018)
Keyphrases
- computer games
- formal semantics
- probabilistic model
- game theory
- bayesian networks
- nash equilibrium
- game theoretic
- virtual world
- semantic information
- game playing
- monte carlo tree search
- probabilistic knowledge
- probabilistic logic
- game design
- serious games
- educational games
- probabilistic reasoning
- video games
- game tree
- integrity constraints
- speech acts
- classification method
- perfect information
- logic programming