Abstract Machines for Game Semantics, Revisited.

Olle Fredriksson Dan R. Ghica

Published in: LICS (2013)

Keyphrases

game theory
computer games
video games
game playing
game theoretic
formal semantics
game design
graphical representation
higher level
perfect information
nash equilibrium
educational games
propositional dynamic logic
artificial intelligence
virtual world
logic programming
high level