Referee of the following Ph.D. theses and habilitations

● Mohammed Henniche. "Apprentissage incrémental à partir d'exemples dans un espace de recherche réduit". Thèse de doctorat de l'Université de Paris - Nord (Paris XIII - Villetaneuse), octobre 1998.

● Valérie Rouat. "Validité de l'approche classification dans la réduction statistique de la complexité de #SAT". Thèse de doctorat de l'Université de Rennes I, janvier 1999.

● Leila Amgoud. "Contribution à l'intégration des préférences dans le raisonnement argumentatif". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), juillet 1999.

● Sébastien Konieczny. "Sur la logique du changement : révision et fusion de bases de connaissances". Thèse de doctorat de l'Université des Sciences et Technologies de Lille (Lille I), novembre 1999.

● Mohammed Bouajjani. "Contribution à l'étude du raisonnement spatio-temporel - Localisation d'un agent et description d'itinéraires". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), décembre 1999.

● Fabien Torre. "Intégration des biais de langage à l'algorithme générer-et-tester - Contributions à l'apprentissage disjonctif". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), janvier 2000.

● Frédéric Moal. "Langages de biais en apprentissage symbolique". Thèse de doctorat de l'Université d'Orléans, décembre 2000.

● Céline Lafage. "Représentation de préférences en logique - Application à la décision de groupe". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), juin 2001.

● Jean-François Baget. "Représenter des connaissances et raisonner avec des hypergraphes : de la projection à la dérivation sous contraintes". Thèse de doctorat de l'Université des Sciences et Techniques du Languedoc (Montpellier II), novembre 2001.

● Laurent Simon. "Multirésolution pour le test de consistance et la déduction en logique propositionnelle". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), décembre 2001.

● Marie-Laure Mugnier. "A Graph-Based Approach to Knowledge Representation". Habilitation à diriger des recherches de l'Université des Sciences et Techniques du Languedoc (Montpellier II), novembre 2002.

● Olivier Gasquet. "Logique muti-modale : sémantique, déduction et applications". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), décembre 2002.

● Bruno Zanuttini. "Acquisition de connaissances et raisonnement en logique propositionnelle". Thèse de doctorat de l'Université de Caen Basse-Normandie, juillet 2003.

● Pascal Nicolas. "Interrogation, induction et déduction automatiques pour le raisonnement non monotone". Habilitation à diriger des recherches de l'Université d'Angers, octobre 2003.

● Khalil Challita. "Problèmes de satisfaction de contraintes spatiales : de l'algèbre des régions à la géométrie affine". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), mars 2005.

● Olivier Ponsini. "Des programmes impératifs vers la logique équationnelle pour la vérification". Thèse de doctorat de l'Université de Nice-Sophia Antipolis, novembre 2005.

● Jerusa Marchi. "Opérateurs syntaxiques pour le changement de croyances basés sur la représentation en formes normales premières". Thèse de doctorat conjointe entre l'Université de Toulouse 1 et l'Universidade Federal de Santa Catarina de Florianopolis (Brésil), juillet 2006.

● Gautier Meyer. "Formalisation logique de préférences qualitatives pour la sélection de la réaction d'un agent rationnel dialoguant". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), juillet 2006.

● Philippe Adjiman. "Raisonnement pair-à-pair en logique propositionnelle : algorithmes, expérimentations et applications". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), septembre 2006.

● Noël Laverny. "Révision, mises à jour et planification en logique doxastique graduelle". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), octobre 2006.

● Paul An-Lin Weng. "Modèles qualitatifs et approches algébriques pour la décision dans l'incertain : fondements axiomatiques et application à la décision séquentielle". Thèse de doctorat de l'Université Pierre et Marie Curie (Paris VI), décembre 2006.

● Farid Nouioua. "Extraction et utilisation des normes pour un raisonnement causal dans un corpus textuel". Thèse de doctorat de l'Université de Paris - Nord (Paris XIII - Villetaneuse), avril 2007.

● Nicolas Troquard. "Independent agents in branching time: Towards a uniform framework for reasoning about multiagent systems". Thèse de doctorat conjointe entre l'Université Paul Sabatier (Toulouse III) et l'Università degli studi di Trento (Italie), juillet 2007.

● Elize Bonzon. "Modélisation des interactions entre agents rationnels : les jeux booléens". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), novembre 2007.

● Gauvain Bourgne. "Propagation et affinement d'hypothèses sous contraintes communicationnelles". Thèse de doctorat de l'Université de Paris-Dauphine (Paris IX), mars 2008.

● Guillaume Aucher. "Perspectives on belief and change". Thèse de doctorat conjointe entre l'Université Paul Sabatier (Toulouse III) et l'University of Otago (Nouvelle-Zélande), juillet 2008.

● Sergio Queiroz. "Modèles graphiques décomposables pour la décision individuelle et collective". Thèse de doctorat de l'Université Pierre et Marie Curie (Paris VI), novembre 2008.

● Meghyn Bienvenu. "Consequence finding in modal logic". Thèse de doctorat de l'Université de Toulouse, mai 2009.

● Leila Amgoud. "Contribution to argumentation theory and its applications". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), juin 2009.

● Yann Chevaleyre. "Contribution to Multiagent Systems: Reaching Optimal Outcomes by Negotiation, Learning and Optimisation". Habilitation à diriger des recherches de l'Université Paris Dauphine, décembre 2009.

● Henry Soldano. "Apprentissage : paradigmes, structures et abstractions". Habilitation à diriger des recherches de l'Université Paris-Nord (Paris XIII - Villetaneuse), décembre 2009.

● Lotfi Ben Romdhane. "Computational Intelligence-Based Models for Abductive Reasoning and Knowledge Extraction". Habilitation à diriger des recherches de l'Université de Monastir (Tunisie), juin 2010.

● Igor Stefan. "Propos sur les formules booléennes quantifiées". Habilitation à diriger des recherches de l'Université d'Angers, juillet 2010.

● Jacques Bibaï. "Segmentation et évolution pour la planification : le système Divide-And-Evolve". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), octobre 2010.

● Frédéric Koriche. "Online Learning of Graphical Models". Habilitation à diriger des recherches de l'Université des Sciences et Techniques du Languedoc (Montpellier II), décembre 2010.

● Nicolas Maudet. "Reaching Agreement in Multiagent Systems". Habilitation à diriger des recherches de l'Université Paris Dauphine (Paris IX), décembre 2010.

● Fabien Aratbi Perrot. "Diagnostic et suivi d'états embarqués - une étude algorithmique". Thèse de doctorat de l'Université de Toulouse, juillet 2011.

● Srdjan Vesic. "Preference-based argumentation frameworks: application in decision making and negotiation". Thèse de doctorat de l'Université de Toulouse, juillet 2011.

● Julien Cojan. "Application de la théorie de la révision des connaissances au raisonnement à partir de cas". Thèse de doctorat de l'Université Henri Poincaré (Nancy I), octobre 2011.

● Alexandre Niveau. "Knowledge Compilation for Online Decision: Application to the Control of Autonomous Systems". Thèse de doctorat de l'Université de Toulouse, mars 2012.

● Nuno Belard. "Reasoning about Models: Detecting and Isolating Abnormalities in Diagnostic Systems", Thèse de doctorat de l'Université de Toulouse, mai 2012.

● François Goasdoué. "Knowledge Representation meets Databases for the sake of ontology-based data management",

Habilitation à diriger des recherches de l'Université de Paris - Sud (Paris XI - Orsay), juillet 2012.

● Vincent Armant. "Diagnostic distribué respectant la confidentialité (importance des structures arborescentes)". Thèse de doctorat de l'Université de Paris - Sud (Paris XI - Orsay), septembre 2012.

● Stefan Gursky. "Special Classes of Boolean Functions with Respect to the Complexity of their Minimization". Thèse de doctorat, Charles University in Prague (République Tchèque), septembre 2014.

● Cédric Pralet. "Approches par contraintes pour la planification et l’ordonnancement : méthodes, outils et applications". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), juin 2015.

● Florence Dupin de St Cyr - Bannay. "Belief Change, Consistency and Argumentation". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), novembre 2015.

● Emmanuel Hadoux. "Markovian sequential decision-making in non-stationary environments: application to argumentative debates". Thèse de doctorat de l’Université Pierre et Marie Curie (Paris VI), novembre 2015.

● Florent Capelli. "Structural restrictions of CNF-formulas: applications to model counting and knowledge compilation’’. Thèse de doctorat de l’Université Denis Diderot (Paris VII), juin 2016.

● Francesco Belardinelli. "Multi-agent Modal Logics for Knowledge Representation -- Theoretical Aspects and Applications to Reasoning about Knowledge and Change". Habilitation à diriger des recherches de l'Université d’Evry, janvier 2017.

● Yannick Pencolé. "Diagnostic : étude d’un raisonnement complexe et multi-dimensionnel". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), septembre 2018.

● Wassila Ouerdane. "From Preference Elicitation to Explaining Decisions: a Dialectical Perspective". Habilitation à diriger des recherches de l'Université Paris-Saclay, décembre 2022.

● Matthieu Bellucci. "Apprοches symbοliques pοur une intelligence artificielle explicable". Thèse de doctorat de l’INSA Rouen Normandie et de Normandie Université, décembre 2023.
● Louis Rivière. "Représentation compacte d’ensemble de solutions pour l’ordonnancement sous incertitude".  Thèse de doctorat de l'Université de Toulouse, décembre 2023.

Member of the committees of the following Ph.D. theses and habilitations

● Maroua Bouzid. "Contribution au raisonnement temporel - Applications aux systèmes de maintien de vérité". Thèse de doctorat de l'Université Henri Poincaré / Nancy I, juillet 1995.

● Olivier Roussel. "L'achèvement des bases de connaissances en calcul propositionnel et en calcul des prédicats". Thèse de doctorat de l'Université des Sciences et Technologies de Lille (Lille I), janvier 1997.

● Nicolas Lachiche. "De l'induction confirmatoire à la classification : contribution à l'apprentissage automatique". Thèse de doctorat de l'Université Henri Poincaré / Nancy I, octobre 1997.

● Bertrand Mazure. "De la satisfaisabilité à la compilation de bases de connaissances propositionnelles". Thèse de doctorat de l'Université d'Artois, janvier 1999.

● Fabrice Bouquet. "Gestion de la dynamicité et énumération d'impliquants premiers : une approche fondée sur les diagrammes de décision binaire". Thèse de doctorat de l'Université de Provence (Aix-Marseille I), janvier 1999.

● Brigitte Bessant. "Contribution aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires". Thèse de doctorat de l'Université d'Artois, mars 1999.

● Laure Brisoux. "Satisfaisabilité propositionnelle en informatique - Aspects algorithmiques et extensions du formalisme". Thèse de doctorat de l'Université d'Artois, décembre 1999.

● Patrick Njiwoua. "Contribution à l'apprentissage symbolique automatique par l'usage du treillis de Galois". Thèse de doctorat de l'Université d'Artois, janvier 2000.

● Sylvain Merchez. "Problèmes de satisfaction de contraintes : études de mécanismes d'abstraction et de construction de hiérarchies". Thèse de doctorat de l'Université d'Artois, décembre 2000.

● Lakhdar Saïs. "De la résolution du problème SAT à la résolution de problèmes autour de SAT". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2000.

● Gilles Dequen. "Approches spécialisées pour la résolution de problèmes combinatoires fondamentaux". Thèse de doctorat de l'Université de Picardie Jules Verne, décembre 2001.

● Engelbert Mephu Nguifo. "Extraction des connaissances basée sur le treillis de Galois : méthodes et applications". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2001.

● Ahcène Sofiane. "Contribution aux techniques de fusion de connaissances en intelligence artificielle". Thèse de doctorat de l'Université d'Artois, juin 2003.

● Stéphane Cardon. "Résolution de processus décisionnels de Markov totalement observables de grandes tailles". Thèse de doctorat de l'Université d'Artois, octobre 2003.

● Fabien Le Huédé. "Intégration d'un modèle d'aide à la décision multicritère en programmation par contraintes". Thèse de doctorat de l'Université Pierre et Marie Curie (Paris VI), novembre 2003.

● Thomas Polacsek. "Une logique pour la planification en environnement partiellement observable". Thèse de doctorat de l'Université Paul Sabatier (Toulouse III), juin 2004.

● Richard Ostrowski. "Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT". Thèse de doctorat de l'Université d'Artois, décembre 2004. (membre invité).

● Rania El Baïda. "Gestion des incohérences dans les systèmes de contrôle d'accès". Thèse de doctorat de l'Université d'Artois, décembre 2004. (membre invité).

● David Ansart. "Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle". Thèse de doctorat de l'Université d'Artois, février 2005.

● Meltem Öztürk. "Structures mathématiques et logiques pour la comparaison des intervalles". Thèse de doctorat de l'Université de Paris-Dauphine (Paris IX), décembre 2005.

● Olivier Couturier. "Contribution à la fouille de données : règles d'association et interactivité au sein d'un processus d'extraction de connaissances dans les données". Thèse de doctorat de l'Université d'Artois, décembre 2005.

● Nadège Porquet. "Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées". Thèse de doctorat de l'Université d'Artois, décembre 2005.

● Florian Letombe. "De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d'un prouveur QBF". Thèse de doctorat de l'Université d'Artois, décembre 2005.

● Caroline Devred. "Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung". Thèse de doctorat de l'Université d'Artois, décembre 2006.

● Patricia Everaere. "Contribution à l'étude des opérateurs de fusion propositionnelle : manipulabilité et fusion disjonctive". Thèse de doctorat de l'Université d'Artois, décembre 2006.

● Cédric Dinont. "Calculs longs et partage des ressources processeur dans les systèmes multi-agents cognitifs". Thèse de doctorat de l'Université des Sciences et Technologies de Lille (Lille I), mars 2007.

● Cédric Piette. "Techniques algorithmiques pour l'extraction de formules minimales inconsistantes". Thèse de doctorat de l'Université d'Artois, novembre 2007.

● Zied Loukil. "Intégration des ressources en planification temporelle optimale". Thèse de doctorat de l'Université d'Artois, décembre 2008.

● Mahmoud Saade. "Etude du raisonnement temporel basé sur la résolution de contraintes". Thèse de doctorat de l'Université d'Artois, décembre 2008.

● Souhila Kaci. "Working with preferences: less is more". Habilitation à diriger des recherches de l'Université d'Artois, avril 2009.

● Marie-Christine Lagasquie-Schiex. "Traitement de l'incohérence dans le raisonnement non monotone : de la restauration de cohérence à l'argumentation". Habilitation à diriger des recherches de l'Université Paul Sabatier (Toulouse III), juillet 2009.

● Ramzi Ben Larbi. "Un modèle pour la prise de décision multi-agent sous incertitude stricte". Thèse de doctorat de l'Université d'Artois, décembre 2009.

● Bertrand Mazure. "SAT et au-delà de SAT : modèles et algorithmes". Habilitation à diriger des recherches de l'Université d'Artois, janvier 2010.

● Ilyes Jenhani. "From possibilistic similarity measures to possibilistic decision trees". Thèse de doctorat de l'Université d'Artois,  janvier 2010.

● Lionel Daniel. "Paraconsistent probabilistic reasoning – applied to scenario recognition & voting theory", Thèse de doctorat de l'Ecole Nationale Supérieure des Mines de Paris, février 2010.

● Sébastien Konieczny. "Raisonnement et incohérence". Habilitation à diriger des recherches de l'Université d'Artois, mars 2010.

● Daniel Le Berre. "Sat4j, un moteur libre de raisonnement en logique propositionnelle". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2010.

● Dominique d'Almeida. "Etude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial". Thèse de doctorat de l'Université d'Artois,  décembre 2010.

● Nicolas Schwind. "Fusion de réseaux de contraintes qualitatives". Thèse de doctorat de l'Université d'Artois,  décembre 2010.

● Sébastien Ramon. "Méthodes permettant la prédominance de connaissances subsumées". Thèse de doctorat de l'Université d'Artois,  décembre 2011.

● Jean-François Condotta. "Contraintes qualitatives pour le raisonnement sur le temps et l'espace". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2011.

● Sylvain Lagrue. "Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2011.

● Mohamed Amine Hamila. "Planification multi-agents dans un cadre markovien : les jeux stochastiques à somme générale». Thèse de doctorat de l’Université de Valenciennes et du Hainaut-Cambrésis, avril 2012.

● Benoît Trouvilliez. "Similarités de données textuelles pour l’apprentissage de textes courts d’opinions et la recherche de produits". Thèse de doctorat de l'Université d'Artois, mai 2013.

● Badran Raddaoui. "Contributions aux approches logiques de l’argumentation en intelligence artificielle". Thèse de doctorat de l'Université d'Artois, novembre 2013.

● Yongliang Huang. "Une approche incrémentale pour l’extraction de séquences de franchissement dans un réseau de Pétri temporisé : application à la reconfiguration des systèmes de production flexibles". Thèse de doctorat de l'Ecole Centrale de Lille, novembre 2013.

● Lydia Tlilane. "Les matroïdes et leur implication dans l’allocation de biens indivisibles : algorithmes d’approximation avec garantie de performance". Thèse de doctorat de l'Université Paris-Dauphine (Paris IX), novembre 2014.

● Simon Vernhes. "Décomposition des problèmes de planification de tâches basée sur les landmarks". Thèse de doctorat de l'Université de Toulouse, décembre 2014.

● Emmanuel Lonca. "Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT". Thèse de doctorat de l'Université d'Artois, juin 2015.

● Nicolas Schmidt. "Compilation de préférences - Application à la configuration de produit". Thèse de doctorat de l'Université d'Artois, septembre 2015.

● Jean-Guy Mailly. "Dynamics of Argumentation Frameworks". Thèse de doctorat de l'Université d'Artois, septembre 2015.

● Ahmed Mabrouk. "Développements d’outils d’aide au diagnostic en contexte incertain". Thèse de doctorat de l'Université Pierre et Marie Curie (Paris VI), septembre 2016.

● Stefano Moretti. "Game theory and practice: models, axioms and algorithms’’. Habilitation à diriger des recherches de l'Université Paris Dauphine (Paris IX), octobre 2016.

● Thomas Caridroit. "Changement de croyances et logiques modales". Thèse de doctorat de l'Université d'Artois, décembre 2016.

● Samuel Thomas. "Compilation de connaissances pour le comptage de modèles". Thèse de doctorat de l'Université d'Artois, décembre 2016.

● Jérôme Delobelle. "Ranking-based semantics for abstract argumentation". Thèse de doctorat de l'Université d'Artois, décembre 2017.

● Anaëlle Wilczynski. "Interaction among agents via a social network in computational social choice". Thèse de doctorat de l'Université de Recherche Paris Sciences et Lettres, décembre 2018.

● Karim Tabia. "Contributions to Reasoning under Uncertainty in a Possibilistic Setting". Habilitation à diriger des recherches de l'Université d'Artois, octobre 2019.
● Ivan Varzinczak. "Towards a General Theory of Defeasible Description Logics". Habilitation à diriger des recherches de l'Université d'Artois, novembre 2019.
● Jean-Marie Lagniez. "Promenade au-delà de NP". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2019.
● Samuel Kolb. "Learn + Solve – Learning and Solving Constrained Hybrid Inference Problems". Thèse de doctorat de la Katholieke Universiteit Leuven (KU Leuven), Belgique, décembre 2019.

● Romain Wallon. "Pseudo-Boolean Reasoning and Compilation". Thèse de doctorat de l'Université d'Artois, décembre 2020.

● Srdjan Vesic. "Reasoning, Arguing, Ranking, Aggregating". Habilitation à diriger des recherches de l'Université d'Artois, mars 2021.

● Stefan Mengel. "Counting, Knowledge Compilation and Applications". Habilitation à diriger des recherches de l'Université d'Artois, décembre 2021.

● Nguyen-Viet-Dung Nghiem. "Clustering and Knowledge Integration". Thèse de doctorat de l'Université d’Orléans, décembre 2021.

● Anis Gargouri. "Sur la notion de support monotone en argumentation abstraite". Thèse de doctorat de l'Université d'Artois, décembre 2021.

● Alexis de Colnet. "Hard Functions in Knowledge Compilation: from Lower Bounds to Applications". Thèse de doctorat de l'Université d'Artois, septembre 2022.

● Vincent Derkinderen. "Knowledge Compilation and Counting: an Algebraic Journey". Thèse de doctorat de la Katholieke Universiteit Leuven (KU Leuven), Belgique, décembre 2023.

● Steve Bellart. "Calcul d’explications formelles pour les modèles d’apprentissage automatique à ensemble d’arbres". Thèse de doctorat de l'Université d'Artois, décembre 2023.

● Julien Delaunay. "Explainability for Machine Learning Models : From Data Adaptability to User Perception - Strategies for Faithful and Understandable Explanations".  Thèse de doctorat de l'Université de Rennes, décembre 2023.

● Louenas Bounia. "Modèles formels pour l’IA explicable : des explications pour les arbres de décision". Thèse de doctorat de l'Université d'Artois, décembre 2023.

● Hénoïk Willot. "Certified Explanations of Robust Models". Thèse de doctorat de l'Université de Technologie de Compiègne, juin 2024.

● Arnaud Guibert. "Utilisation des outils de XAI pour la réduction de données appliquée aux réseaux neuronaux convolutifs". Thèse de doctorat de l’université de Toulouse (préparée à l’ENAC), décembre 2024.

● Yann Munro. "Explications causales pour l’argumentation abstraite : cadres classique, temporel et bipolaire pondéré". Thèse de doctorat de Sorbonne Université, décembre 2024.

● Quentin Elsaesser. "Evaluation de la fiabilité des sources pour la découverte de la vérité : méthodes et applications". Thèse de doctorat de l'Université d'Artois, décembre 2024.

● Sylvain Bouveret. "Towards Fairer Collective Decisions". Habilitation à diriger des recherches de l'Université Grenoble Alpes, janvier 2025.