6èmes Journées MAFTEC
Journée Commune Explicabilité

Caen, 1er — 3 avril 2019

PROGRAMME

Lundi 1er avril 2019 :

Journée commune GT MAFTEC / GT Explicabilité


Explication de plans et planification d'explications.

09:30 - 10:00 Accueil — GREYC - Université de Caen Normandie / Campus 2, Caen
Salle S3-351

10:00 - 10:30 Ouverture des 6èmes journées MAFTEC
Journée commune Explicabilité
Salle S3-351

Andreas Herzig (IRIT-CNRS, Toulouse)
et Frédéric Maris (IRIT, Université Paul Sabatier, Toulouse)
Présentation du groupe de travail MAFTEC.

Nicolas Maudet (LIP6, Sorbonne Université, Paris)
Présentation du groupe de travail Explicabilité.

10:30 - 12:00 Exposés et discussion

Bruno Zanuttini (GREYC, Université Caen Normandie, Caen)
Knowledge-Based Programs as Policies : Explainable Policies for Contingent Planning.
Joint work with Jérôme Lang, Abdallah Saffidine, François Schwartzentruber

Hélène Van Den Broek (Thales Research & Technology)
Explicabilité en réparation de plans.

12:00 - 13:30 Pause déjeuner
Restaurant universitaire D

13:30 - 15:30 Exposés et discussion
Salle S3-351

Anne-Gwenn Bosser (Lab-STICC, ENIB)
Computational Narratives.

Loïs Vanhée (GREYC, Université Caen Normandie, Caen)
Comment défendre le résultat d'un algorithme d'allocation de ressources ?

15:30 - 16:00 Pause café

16:00 - 17:30 Exposés et discussion

Jean-Michel Ilié (LIP6, Sorbonne Université, Paris)
E-HoA - Vers un agent intentionnel à planification contextuelle pour robot roulant autonome.
Joint work with François Pêcheux, Ahmed-Chawki Chaouche

Julien Vianey (IRIT, Université Paul Sabatier, Toulouse)
Temporal Epistemic Gossip Problems.
Joint work with Martin Cooper, Andreas Herzig and Frédéric Maris

19:30 Rendez-vous au restaurant La Maison d'Italie (10 rue Hamon, 14000 Caen, France)

Mardi 2 avril 2019 :

09:30 - 10:00 Accueil — GREYC - Université de Caen Normandie / Campus 2, Caen
Salle S3-102 (salle des thèses)

10:00 - 10:45 Exposés et discussion

Elise Perrotin (IRIT, Université Paul Sabatier, Toulouse)
A Lightweight Epistemic Logic and its Application to Planning.
Joint work with Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris and Pierre Régnier

10:45 - 11:15 Pause café

11:15 - 12:45 Exposés et discussion

Jilles Dibangoye (CITI, INSA de Lyon, Lyon)
Planification multi-agent via les occupancy-MDPs.

Abdallah Saffidine (UNSW Sydney, Kensington, Australia)
Multi-Agent Path Finding Under Uncertainty and Uncontrollability.

12:45 - 14:00 Pause déjeuner
Restaurant universitaire D

14:00 - 15:30 Exposés et discussion
Salle S3-102 (salle des thèses)

Bruno Zanuttini (GREYC, Université Caen Normandie, Caen)
Politiques multi-agents à base de connaissances.
Joint work with Jérôme Lang, Abdallah Saffidine, François Schwartzentruber

15:30 - 16:00 Pause café

16:00 - 18:00 Sessions de travail

Atelier — Groupes de discussion


Mercredi 3 avril 2019 :

09:30 - 10:00 Accueil — GREYC - Université de Caen Normandie / Campus 2, Caen
Salle S3-102 (salle des thèses)

10:00 - 10:45 Exposés et discussion

Tiago de Lima (CRIL, Université d'Artois, Lens)
Space-Awareness in a SAT-Based Approach for Modal Logics K, KT and S4.
Joint work with Jean-Marie Lagniez, Daniel Le Berre, Valentin Montmirail

10:45 - 11:15 Pause café

11:15 - 12:00 Exposés et discussion

Abdallah Saffidine (UNSW Sydney, Kensington, Australia)
Practical Encodings of Factored Deterministic POMDPs into Probabilistic Planning.
Joint work with Patrik Haslum

12:00 - 13:30 Pause déjeuner
restaurant universitaire D

13:30 - 15:30 Exposés et sessions de travail
Salle S3-102 (salle des thèses)

Arthur Queffelec (INRIA/IRISA, Rennes)
Dynamic Connected Cooperative Coverage Problem Complexity.
Joint work with Tristan Charrier, Ocan Sankur, François Schwartzentruber

Atelier — Groupes de discussion

15:30 Clôture des journées