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

Read More

Arrival of Carlos Areces (Guest Researcher)

Admin_irit/ June 17, 2019/ Guest researcher, UPS

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/

AGAPE kick off meeting

Admin_irit/ March 25, 2019/ UT1C, Workshop

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,

Read More

Arrival of Jorge Luis FERNANDEZ DAVILA

Admin_irit/ March 18, 2019/ PhD Thesis, UPS

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

Read More