Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Michel Cayrol
Michel Cayrol a dirigé les 8 thèses suivantes :
Recherche dans les graphes de planification, satisfiabilité et stratégies de moindre engagement : les systèmes LCGP et LCDPP
par Vincent Vidal sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 2001
Autour de sat : le calcul d'impliquants p-restreints, algorithmes et applications
par Daniel Le Berre sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 2000
Consistance et déduction en logique propositionnelle
par Thierry Castell sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 1997
Contribution à l'étude des relations d'inférence non-monotone combinant inférence classique et préférences
par Marie-Christine Lagasquié-Schiex (Lagasquie-Schiex) sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 1995
Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS
par Olivier Palmade sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 1992
Conception et implementation d'un dialecte lisp paresseux : help
par Thomas Schiex sous la direction de Michel Cayrol - Toulouse 3
Sciences appliquées
Soutenue en 1991
Etude de nouvelles stratégies de résolution : application à l'ATMS
par Pierre Tayrac sous la direction de Michel Cayrol - Toulouse 3
Intelligence artificielle
Soutenue en 1990
Etude et réalisation d'un système expert à objets appliqué à la conception assistée par ordinateur de la charpente métallique d'un navire
par Jacques Laforgue sous la direction de Michel Cayrol - Toulouse 3
Informatique
Soutenue en 1989
