Eric Grégoire
Eric Grégoire a dirigé les 13 thèses suivantes :
Extensions of tractable classes for propositional satisfiability
par Mohammad Saleh Balasim Al-Saedi sous la direction de Eric Grégoire , Bertrand Mazure et de Lakhdar Saïs . - Artois
Informatique
Soutenue le 14-11-2016
Contributions aux approches logiques de l'argumentation en intelligence artificielle
par Badran Raddaoui sous la direction de Eric Grégoire - Artois
Informatique
Soutenue le 21-11-2013
Méthodes permettant la prédominance de connaissances subsumées
par Sébastien Ramon sous la direction de Eric Grégoire et de Philippe Besnard . - Artois
Informatique
Soutenue le 02-12-2011
Exploiter les conflits pour réduire l'effort de recherche en satisfaction de contraintes
par Sébastien Tabary sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2007
Techniques algorithmiques pour l'extraction de formules minimales inconsistantes
par Cédric Piette sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2007
Utilisation de techniques polynomiales pour la résolution pratique d'instances de SAT
par Olivier Fourdrinoy sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2007
Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle
par David Ansart sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2005
Contributions aux techniques de fusion de connaissances en intelligence artificielle
par Ahcène Sofiane sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2003
Résolution de procesus décisionnels de Markov totalement observables de grandes tailles
par Stéphane Cardon sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2003
Problèmes de satisfaction de contraintes : étude de mécanismes d'abstraction et de construction de hiérarchies
par Sylvain Merchez sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 2000
Satisfaisabilité propositionnelle en informatique : aspects algorithmiques et extensions du formalisme
par Laure Brisoux Devendeville sous la direction de Eric Grégoire - Artois
Informatique
Soutenue en 1999
De la satisfaisabilité à la compilation de bases de connaissances propositionnelles
par Bertrand Mazure sous la direction de Eric Grégoire - Artois
Sciences appliquées
Soutenue en 1999
Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques et calculatoires
par Brigitte Bessant sous la direction de Eric Grégoire - Artois
Sciences appliquées
Soutenue en 1999
Eric Grégoire a été président de jury de la thèse suivante :
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
par Jean-Marie Lagniez sous la direction de Lakhdar Saïs , Gilles Audemard et de Bertrand Mazure . - Artois
Informatique
Soutenue le 06-12-2011
