Categorical and game semantics for SCIR.

Guy McCusker Matthew Wall

Published in: GALOP@ETAPS (2005)

Keyphrases

computer games
video games
virtual world
game playing
game theoretic
formal semantics
semantic information
game play
logic programming
game design
human computation
board game
cooperative game
learning environment
real time strategy games
game players
perfect information
game based learning
data model
cooperative