Game Semantics and Normalization by Evaluation.

Pierre Clairambault Peter Dybjer

Published in: FoSSaCS (2015)

Keyphrases

evaluation method
data sets
game theory
video games
game playing
cooperative
databases
information systems
database systems
logic programming
virtual world
evaluation criteria
repeated games