A Temporal Proof System for General Game Playing.

Michael Thielscher Sebastian Voigt

Published in: AAAI (2010)

Keyphrases

general game playing
game playing
evaluation function
game players
temporal reasoning
temporal information
temporal constraints
game tree search
game description language
linear programming
game tree