A Fully Abstract Game Semantics of Local Exceptions.

Published in: LICS (2001)

Keyphrases

multiple inheritance
video games
game playing
graphical representation
computer games
game design
game theoretic
game theory
nash equilibrium
educational games
logic programming
formal semantics
high level
game play
imperfect information
learning games
default rules
role playing
propositional dynamic logic