IJCAI-19 Tutorial: Game Description Languages and Logics
This tutorial gives an overview of Game Description Logics, a family of logics based on the General Description Language (GDL) used for representing games in General Game Playing. We introduce different variants of GDL and illustrate them through numerous examples of game representations. The attendee will learn how to represent and reason about games, and the basics of GDL for building specialized extensions for epistemic and strategic reasoning.
Co-written with Dongmo Zhang (Western Sydney University)
Last version of the slides here