Partenaires
Accueil du site > Thèses et HDR > HDR soutenues
HDR soutenues
Incomparabilité et incommensurabilité dans le raisonnement et la dynamique des croyances - Habilitation à Diriger des Recherches de Sylvain Lagrue
lundi 12/12/2011 10:00, salle des thèses, Faculté des sciences Jean Perrin
Contraintes qualitatives pour le raisonnement sur le temps et l’espace - Habilitation à Diriger des Recherches de Jean-François Condotta
Jeudi 8/12/2011 à 14H15 - IUT de Lens, Amphithéâtre SRC - LENS
Sat4j, un moteur libre de raisonnement en logique propositionnelle - Habilitation à Diriger des Recherches de Daniel Le Berre
Vendredi 3 décembre 2010, 10h, salle des thèses, Faculté des Sciences Jean Perrin, Lens.
Résolution de problèmes autour de SAT - Habilitation à Diriger des Recherches de Gilles Audemard
Lundi 29 Novembre 2010, 10h, à l’IUT de Lens, amphi SRC.
Raisonnement & Incohérence - Habilitation à Diriger des Recherches de Sébastien Konieczny
Mercredi 3 Mars 2010 14h00 - Salle des thèses, Faculté des Sciences, Lens.
SAT et au-delà de SAT : Modèles et Algorithmes - Habilitation à Diriger des Recherches de Bertrand Mazure
Vendredi 29 janvier 2010 - 9 heures - Salle des Thèses UFR des Sciences Lens
Travailler avec des préférences : rester simple pour faire plus - Habilitation à Diriger des Recherches de Souhila Kaci
vendredi 3 avril 2009 - 13h30 - IUT de Lens, amphi SRC
"Tenter la simplicité en satisfaction de contraintes" — Habilitation à Diriger des Recherches de Christophe Lecoutre
jeudi 22 novembre 2007 à 9H30 L’un des défis majeurs en programmation par contraintes est de proposer des approches génériques efficaces pour la résolution de problèmes de satisfaction de contraintes. C’est dans ce sens, i.e. un contexte aussi générique que possible, que nos travaux concernant le cadre CSP (Constraint Satisfaction Problem) ont été menés ces dernières années. En particulier, la plus grande partie des résultats que nous avons obtenus depuis 2003 sont exploitables quelle que soit la nature (...)
"Extraction des connaissances basée sur les treillis de Galois : Méthodes et applications" — HDR d’Engelbert Mephu Nguifo
Lundi 10 Décembre 2001 L’extraction de connaissances est un processus interactif et itératif d’analyse d’un grand ensemble de données brutes afin d’en extraire des connaissances exploitables, et où l’utilisateur-analyste joue un rôle central. Dans la perspective de conception de systèmes d’extraction de connaissances, nous présentons nos travaux d’élaboration de méthodes de prétraitement de données, et de classification par treillis pour la fouille de données. La première partie introduit la problématique (...)