主题： Game Description Languages and Logics

摘要： 本教程概述了游戏描述逻辑，这是一个基于通用描述语言（GDL）的逻辑家族，用于表示一般游戏中的游戏。我们介绍了GDL的不同变体，并通过大量的游戏表示示例来说明它们。参加者将学习如何表现和推理游戏，以及GDL的基础知识，以便为认知和战略推理建立专门的扩展。

邀请嘉宾： Laurent Perrussel，法国图卢兹大学的IT教授，也是IRIT集团“逻辑、交互、语言和计算”的成员。