Algorithmic Nominal Game Semantics.

Andrzej S. Murawski Nikos Tzevelekos

Published in: ESOP (2011)

Keyphrases

computer games
video games
educational games
semantic information
game play
formal semantics
logic programming
game theory
game playing
repeated games
online game
operational semantics
learning games
database
speech acts
game tree
game based learning
neural network