Partenaires
Accueil du site > Thèses et HDR > Thèses en cours
Thèses en cours
Contributions aux problèmes SAT
Titre : Contributions aux problèmes SAT. Doctorant : MOHAMMAD SALEH BALASIM Al-Saedi. Directeurs : Éric Grégoire, Bertrand Mazure et Lakhdar Saïs.
Compilation de connaissances : des formules logiques aux réseaux bayésiens
Titre : Compilation de connaissances : des formules logiques aux réseaux bayésiens Doctorant : Samuel Thomas Directeur : Pierre Marquis et Fred Koriche Co-encadrant : Jean-Marie Lagniez
Autour de la décision possibiliste qualitative
Titre : Autour de la décision possibiliste qualitative Doctorante : Ismahane Sid-Amar Directeur : Salem Benferhat
Dynamique des Systèmes d’Argumentation
Titre : Dynamique des Systèmes d’Argumentation Doctorant : Jean-Guy Mailly Directeurs : Sébastien Konieczny et Pierre Marquis Co-encadrante : Sylvie Coste-Marquis
Parallélisation de systèmes de contraintes complexes
Titre : Parallélisation de systèmes de contraintes complexes Doctorante : Nebras Gharbi Directeur : Christophe Lecoutre Co-encadrants : Olivier Roussel et Fred Hemery
Changement de croyances et logiques modales
Titre : Changement de croyances et logiques modales Doctorant : Thomas Caridroit Directeurs : Pierre Marquis et Sébastien Konieczny Co-encadrant : Tiago de Lima
Fusion des logiques de description incertaines
Titre : Fusion des logiques de description incertaines Doctorant : Zied BOURAOUI Directeur : Salem BENFERHAT
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
Titre : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications. Doctorant : Jerry Lonlac. Directeur : Lakhdar Saïs. Co-encadrant : Saïd Jabbour. Thèse en co-tutelle.
Logiques qualitatives pour la gestion des préférences
Titre : Logiques qualitatives pour la gestion des préférences. Doctorante : Lydia Bouzar. Directeur : Salem Benferhat.
Analyse et regroupement automatique de textes courts à des fins statistiques
Titre : Analyse et regroupement automatique de textes courts à des fins statistiques. Doctorant : Benoît Trouvilliez. Directeur : Pierre Marquis. Co-encadrant : Vincent Dubois.
Compilation de préférences - application à la configuration de produits
Titre : Compilation de préférences - application à la configuration de produits. Doctorant : Nicolas Schmidt. Directeurs : Hélène Fargier et Pierre Marquis.
Contributions aux techniques de représentation de la connaissance et du raisonnement
Titre : Contributions aux techniques de représentation de la connaissance et du raisonnement. Doctorant : Badran Raddaoui. Directeurs : Philippe Besnard, Éric Grégoire.
Intégration de paradigmes de contraintes
Titre : Intégration de paradigmes de contraintes. Doctorant : Nicolas Paris. Directeur : Christophe Lecoutre. Co-encadrants : Olivier Roussel, Sébastien Tabary.
Optimisation booléenne multi-objectif
Titre : Optimisation booléenne multi-objectif. Doctorant : Emmanuel Lonca. Directeurs : Daniel Le Berre et Pierre Marquis. Co-encadrant : Anne Parrain.
Résolution parallèle du problème SAT
Titre : Résolution parallèle du problème SAT. Doctorant : Benoît Hoessen. Directeur : Gilles Audemard. Encadrement : Saïd Jabbour, Cédric Piette.
Imposer des contraintes moins restrictives dans un CSP
Titre : Imposer des contraintes moins restrictives dans un CSP. Doctorant : Atef Hasni. Directeurs : Éric Grégoire, Bertrand Mazure. Co-encadrant : Cédric Piette.
MSR PhD Scholarship on Parallel SAT Solving
Titre : MSR PhD Scholarship on Parallel SAT Solving. Doctorant : Long Guo. Directeur : Lakhdar Saïs. Co-encadrant : Saïd Jabbour.
Optimisation distribuée pour les problèmes de contraintes pondérées
Titre : Optimisation distribuée pour les problèmes de contraintes pondérées. Doctorant : Djamel-Eddine Dehani. Directeur : Christophe Lecoutre. Co-encadrant : Olivier Roussel.
Développement de logiques non-classiques pour la gestion des préférences et de l’incertitude.
Titre : Développement de logiques non-classiques pour la gestion des préférences et de l’incertitude. Doctorant : Abdelhamid Boudjelida. Directeur : Salem Benferhat. Thèse en co-tutelle.