Probabilistic game semantics.
Vincent DanosRussell HarmerPublished in: ACM Trans. Comput. Log. (2002)
Keyphrases
- bayesian networks
- game theoretic
- game theory
- video games
- probabilistic logic
- generative model
- formal semantics
- game play
- educational games
- probabilistic knowledge
- model theoretic
- computer games
- logic programming
- probabilistic model
- nash equilibrium
- uncertain data
- game design
- metadata
- conceptual model
- probabilistic reasoning
- optimal strategy
- virtual world
- nonmonotonic logics