Rapporteur de thèses et
d'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 de Toulouse (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 de Toulouse (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
de Toulouse (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 de Toulouse (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
de Toulouse (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
de Toulouse (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
de Toulouse (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
de Toulouse (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
de Toulouse (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é
de Toulouse, 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, 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.
Membre de jurys de
thèse et d'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
de Toulouse (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é
de Toulouse, 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.