Publications

Articles de conférences internationales

2018 Ali Mensi, Jean-François Condotta, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints in 10th Hellenic Conference on Artificial Intelligence (SETN’18),ACM, pp. 19:1–19:9, 2018.

2016 Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks in 17th International Conference Artificial Intelligence: Methodology, Systems, and Applications (AIMSA’16),LNCS 9883, pp. 247-258, 2016.

2015 Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks in 27th International Conference on Tools with Artificial Intelligence (ICTAI’15),pp. 445-452, 2015. [Download]

Thèses de doctorat

2018 Ali Mensi, Méthodes de résolution exactes et approchées pour le problème de cohérence maximale des RCQ spatio-temporels decembre 2018.