A Game Semantics for Generic Polymorphism.
Samson AbramskyRadha JagadeesanPublished in: FoSSaCS (2003)
Keyphrases
- game theory
- game playing
- formal semantics
- video games
- game theoretic
- domain specific
- educational games
- nash equilibrium
- computer games
- optimal strategy
- default reasoning
- logic programming
- high level
- nash equilibria
- game development
- model theoretic
- repeated games
- real time strategy games
- serious games
- conceptual model
- decision problems
- semantic information
- data model
- cooperative
- database systems