Activités de recherche

Mes activités de recherche se situent dans le cadre général de l’Intelligence Artificielle, plus particulièrement autour de la problématique de la représentation et du raisonnement sur le temps et sur l’espace. Une partie de mes travaux de recherche porte sur l’étude de problèmes autour des réseaux de contraintes qualitatives (RCQ) temporelles ou spatiales. Dans le contexte, j'ai notamment proposé et étudié des méthodes de résolution de problèmes de décision tels que le problème de la cohérence et le problème de l'étiquetage minimal d'un RCQ et d'optimisation tel que celui du problème MAX-RCQ consistant à déterminer un scénario cohérent (une configuration d’entités) maximisant le nombre de contraintes satisfaites d’un réseau de contraintes qualitatives. J'étudie également des problématiques de fusion d'informations temporelles/spatiales et de gestion de préférences modélisées par des RCQ. Une autre partie de mes activités concerne l’étude de formalismes permettant de raisonner sur l’évolution de relations spatiales entre entités au cours du temps. Dans ce cadre là, nous avons notamment proposé une méthode des tableaux pour une famille de logiques spatio-temporelles. Nous avons également étudié différents formalismes représentant les connaissances spatio-temporelles par des séquences de RCQ satisfaisant des contraintes de transition. Depuis quelques années, j'oriente le champ applicatif de mes travaux de recherche vers des problématiques de logistique, plus particulièrement vers des problématiques de planification dans le cadre des urgences hospitalières ou dans le cadre plus général de la gestion de situations de crise.

Publications

Ma liste de publications sur le site du CRIL et sur le site de DBLP.

Logiciels

Quelques uns des programmes récemment développés au cours de mes activités de recherche sont présents sur cette page.

Encadrement d'étudiants

Etudiants en thèse

• Depuis 2016, Maroua Harzi, Optimisation de système d’urgence hospitalière sous incertitudes, thèse réalisée en co-tutelle entre l’Université d’Artois et l’Institut de Gestion de Tunis (ISG), co-encadrement avec Saoussen Krichen (LARODEC, ISG de Tunis) et Issam Nouaouri (LGI2A, Université d’Artois).
• Depuis 2014, Ali Mensi, Résolution de CSP qualitatifs pour le raisonnement temporel par des techniques de recherche locale, application à la planification hospitalière, thèse réalisée en co-tutelle entre l’Université d’Artois et l’ENSI/l'Université de Manouba (Tunisie), co-encadrement avec Lamjed Ben Said (SOIE, ISG de Tunis) et Issam Nouaouri (LGI2A, Université d’Artois)
• 2013-2017, Michael Sioutis, Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning, thèse de doctorat de l’Université d’Artois soutenue le 27 février 2017, co-encadrement avec Bertrand Mazure et yakoub Salhi.
• 2007-2010, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives, thèse de doctorat de l’Université d’Artois le 10 décembre 2010, co-encadrement avec Souhila Kaci et Pierre Marquis.
• 2006-2010, Dominique D'Almeida, Étude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial, thèse de doctorat de l’Université d’Artois le 3 décembre 2010, co-encadrement avec Christophe Lecoutre et Lakhdar Saïs.
• 2005-2008, Mahmoud Saade, Étude du raisonnement temporel basé sur la résolution de contraintes, thèse de doctorat de l’Université d’Artois le 15 décembre 2008, co-encadrement avec Pierre Marquis.

Etudiants en Master Recherche

• 2016, Ghassen Sakouhi, Internet des objets et fouille de données, Master SIA, CRIL, co-encadrement avec Yakoub Salhi.
• 2013, Cécilia Daquin, Logiques temporelles et formalismes qualitatifs, Master SIA, CRIL, co-encadrement avec Yakoub Salhi et Bertrand Mazure.
• 2011, Abderrahim Ait Wakrime, Résolution de réseaux de contraintes qualitatives par transformations à SAT, Master SIA, CRIL, co-encadrement avec Daniel Le Berre.
• 2007, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives, Master SIA, CRIL, co-encadrement avec Souhila Kaci et Pierre Marquis.
• 2006, Dominique D’Almeida, Résolution de CSP qualitatifs par l’utilisation de CSP discrets et de SAT, Master SIA, CRIL, co-encadrement avec Christophe Lecoutre et Lakhdar Saïs.
• 2005, Ali Zitouni, Intégration de données spatiales et temporelles multi-sources, Master SIA, CRIL, co-encadrement avec Souhila Kaci et Pierre Marquis.
• 2004, Michael Restoux, Étude d’une logique spatio-temporelle, Master SIA, CRIL, co-encadrement avec Nathalie Chetcuti.
• 2002, Abdelslam Nasri, Méthodes des tableaux pour des logiques spatio-temporelles, DEA I3, LIMSI, co-encadrement avec Gérard Ligozat.

Projets scientifiques

• 2016-2017, projet PHC Utique RESCUESYS (Etude et Développement d’un Système Spatio-Temporel pour la Gestion des Secours Médicaux d’Urgence), initiateur et responsable pour la partie française. L’objectif global de ce projet est l’étude et la mise en oeuvre d’outils de décision et d’optimisation pour la gestion de crise. Dans ce cadre, des problématiques de traitement d’informations multi-sources, imparfaites et spatio-temporelles et d’ordonnancement spatio-temporel temps sont traitées. Ce projet franco-tunisien est sous ma responsabilité pour la partie française et sous la responsabilité de Lamjed Ben Saïd (directeur de l’ISG de Tunis et du laboratoire SOIE) pour la partie tunisienne. Des chercheurs de quatre laboratoires (partie française: CRIL et LGI2A, partie tunisienne: SOIE et LARODEC) participent à ce projet parmi lesquels deux doctorants en co-tutelle que je co-encadre : Ali Mensi et Marwa Harzi.
• 2016-2017, projet RATP/CRIL, membre. Convention de collaboration de recherche et innovation entre le CRIL et la RATP (sous la responsabilité de Yakoub Sahli (CRIL)). Cette collaboration entre le CRIL et la RATP vise le développement d’outils de preuve formelle qui pourront notamment être utilisés lors des futurs projets d’automatisation de lignes de la RATP ainsi que pour les projets réalisés dans l’intérêt de clients externes.
• 2016-2017, projet BQR transversal CRIL/LGI2A - Thème OPT, objectif pour le thème OPT: définir des techniques d’optimisation pour le problème de la fusion des réseaux de contraintes qualitatives, appliquées à la logistique en santé, pour le thème OPT sous la responsabilité de Jean-François Condotta (CRIL).
• 2005-2008, projet ANR – PLANEVO, objectif : réalisation d’un système de planification capable de prendre en compte une représentation complexe de l’univers, des actions et des buts à atteindre dans un cadre temporel, sous la responsabilité de Vincent Vidal (CRIL).
• 2001-2005, projet Sémantiques de la transmodalité : application aux systèmes d’information géographique, dans le cadre du programme interdisciplinaire "société de l’information", projet 2001-085 et sous la responsabilité de Gérard Ligozat (LIMSI).

Participations à des comités de programmes et relectures

Comités de programmes

• 26th International Joint Conference on Artificial Intelligence (IJCAI'17)
• IEEE-ICTAI 2015 Special Track on SAT and CSP technologies (ICTAI’15)
• 21st European Conference on Artificial Intelligence (ECAI’14)
• IEEE-ICTAI 2014 Special Track on SAT and CSP technologies (ICTAI’14)
• 23rd International Joint Conference on Artificial Intelligence (IJCAI’13)
• Workshop Spatio-Temporal Dynamics (STeDy'12 à ECAI'12)
• Workshop Benchmarks and Applications of Spatial Reasoning (IJCAI'11)
• AAAI Spring Symposium 2009 - Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Stanford University
• Atelier Représentation et Raisonnement sur le Temps et l'Espace (RTE) de 2006 à 2012
• Symposium on Temporal Representation and Reasoning (TIME'04)
• Rencontres de Jeunes Chercheurs en Intelligence Artificielle (RJCIA'03)

Relecteur pour des journaux et des conférences

• Artificial Intelligence (AI) : 2009, 2011, 2012, 2013 ; Journal of Artificial Intelligence Research (JAIR) : 2009, 2016 ; International Journal on Artificial Intelligence Tools (IJAIT) : 2013 ; International Journal Approximate Reasoning (IJAR) : 2012 ; Constraints : 2014 ; Journal Information & Computation : 2015.
• RJCIA'03, RTE (07,09,11), RFIA (02,04), ICTAI (10,14,15), IJCAI (03,05,07,09,13,17), TIME'04, ECAI (04,14), CP (05,11), KR'08, SteDy'12, etc.