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
Carlos Areces will be visiting researcher in the team from July 07 to August 23. It will be hosted on the UPS site of the team. During his stay in Toulouse, Carlos Areces will work on dynamic logic and on dynamic epistemic logic, with applications to epistemic planning. Website : https://cs.famaf.unc.edu.ar/~careces/
Loujayn Liekah has joined the team on April 1 for 5 months. It is funded by the UT1C for an internship on social networks. She is supervized by Umberto Grandi.
The AGAPE kick off meeting will take place on March 28th and 29th at UT1C. See the project page for more information and the program. This project aims at demonstrating that strategic reasoning is actually feasible and can be implemented. To do so, this project considers a lightweight approach by considering as starting point a simple and practical logical language,
Jorge will be joining the team on March 25 for 3 years. He will do a thesis under the supervision of Emiliano Lorini with funding from the project ANR CoPains (https://www.irit.fr/~Emiliano.Lorini/Copains.htm). Jorge is from Peru. He holds a degree in systems engineering with a MSc in Computer Sciences. He has worked in the IT departments of the Ministry of Transport