A game semantics for generic polymorphism.
Samson AbramskyRadha JagadeesanPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- formal semantics
- game playing
- game design
- computer games
- domain specific
- pursuit evasion
- data sets
- nash equilibrium
- game theory
- semantic information
- logic programming
- video games
- game play
- game theoretic
- default reasoning
- operational semantics
- real time strategy games
- databases
- integrity constraints
- conceptual model
- relational databases
- high level
- neural network