Login / Signup
Epistemic GDL: A logic for representing and reasoning about imperfect information games.
Guifei Jiang
Dongmo Zhang
Laurent Perrussel
Heng Zhang
Published in:
Artif. Intell. (2021)
Keyphrases
</>
modal operators
imperfect information games
modal logic
epistemic logic
formal theory
temporal logic
dynamic epistemic logic
imperfect information
game tree search
situation calculus
nonmonotonic logics
logic programming
multi agent systems
virtual environment
game theory
belief change