Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games.

Guifei Jiang Dongmo Zhang Laurent Perrussel Heng Zhang

Published in: IJCAI (2016)

Keyphrases

modal operators
imperfect information games
modal logic
epistemic logic
formal theory
dynamic epistemic logic
temporal logic
situation calculus
nonmonotonic logics
imperfect information
logic programming
game tree search
model checking
convergence rate
logical framework
perfect information