Les 3èmes journées du groupe de travail du pré-GDR IA sur la
planification MultiAgent, Flexible, Temporelle, Epistémique et
Contingente (MAFTEC) auront lieu à Lille du 6 au 7 novembre 2017.
Ces journées sont gratuites et ouvertes à tous. Pour nous permettre
de les organiser dans les meilleures conditions, si vous avez prévu
de participer, nous vous remercions de vous inscrire au plus
vite :
https://www.irit.fr/~Frederic.Maris/maftec3/inscriptions.php
PROGRAMME
Lundi 6 novembre 2017 :
9:30 – 10:00 Accueil — Délégation
Régionale CNRS, 2 rue des Canonniers, Lille
10:00 – 12:00 Exposés d’ouverture des
sessions de travail
Utilisation de solveurs SAT/SMT/QBF pour la planification MAFTEC.
Daniel Le Berre (CRIL, Université d’Artois,
Lens)
Quantified Boolean Formula.
Maël Valais (IRIT, Université Paul Sabatier,
Toulouse)
Optimal Planning as Quantified Boolean Formula.
Frédéric Maris (IRIT, Université Paul Sabatier,
Toulouse)
SMT and QBF(T) Encodings for Planning with Continuous
Time.
12:00 – 13:30 Pause déjeuner —
(buffet)
13:30 – 15:30 Exposés d’ouverture
des sessions de travail
Planification multiagent, épistémique et contingente.
Julien Vianey (IRIT, Université Paul Sabatier,
Toulouse)
Simple Epistemic SAT Planning.
Bruno Zanuttini (GREYC, Université de
Caen-Normandie, Caen)
Knowledge-Based Policies for Qualitative Decentralized
POMDPs.
Jilles S. Dibangoye (CITI lab, INSA, Lyon)
Learning to Act in Continuous Decentralized Partially
Observable MDPs
15:30 – 16:00 Sessions de travail
Atelier-débat de prospective. Proposition de groupes de
discussion.
16:00 – 16:30 Pause café
16:30 – 18:00 Sessions de travail
Groupe de discussion MaFTEC-SAT
Adaptation de solveurs SAT/SMT/QBF pour la résolution de
problèmes MAFTEC.
Groupe « codage »
Implémentation / Intégration des aspects MAFTEC.
Autres groupes issus de l’atelier de
prospective
Mardi 7 novembre 2017 :
09:00 – 09:30 Accueil — Délégation
Régionale CNRS, 2 rue des Canonniers, Lille
09:30 – 12:00 Sessions de travail
Travaux dans les différents groupes de discussion
MaFTEC-SAT, codage…
12:00 – 13:30 Pause déjeuner —
(buffet)
13:30 – 16:00 Sessions de travail
Travaux dans les différents groupes de discussion
MaFTEC-SAT, codage…
—
Frédéric Maris
Maître de Conférences en Informatique
IRIT – CNRS UMR 5505, bureau 323
Université Paul Sabatier, 118 route de Narbonne
31062 Toulouse cedex 9, FRANCE.
Tél : +33 5.61.55.7438
maris@irit.fr