Game description language and dynamic epistemic logic compared

Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher. Game description language and dynamic epistemic logic compared. Artificial Intelligence, 292:103433, 2021. [doi]

Abstract

Abstract is missing.