IJCAI-19 Tutorial: Game Description Languages and Logics

Admin_irit/ July 15, 2019/ Seminar, UT1C

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

Share this Post