IRIT

Laurent Perrussel - Professor / Guifei Jiang - Lecturer

Contact

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

Laurent Perrussel - April 2019