Games and Logics for a Noninterleaving Bisimulation.

Mogens Nielsen Christian Clausen

Published in: Nord. J. Comput. (1995)

Keyphrases

expressive power
game theoretic
game theory
modal logic
serious games
game playing
game play
video games
nash equilibrium
inference rules
educational games
conditional logic
game tree search
coalitional games
general game playing