Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Olivier Gasquet
Olivier Gasquet a rédigé la thèse suivante :
Déduction automatique en logique multi-modale par traduction
par Olivier Gasquet sous la direction de Luis Fariñas del Cerro - Toulouse 3
Intelligence artificielle
Soutenue en 1994
Olivier Gasquet a dirigé les 4 thèses suivantes :
Traduction logique et résolution de problèmes : application à la planification
par Maël Valais sous la direction de Olivier Gasquet et de Dominique Longin . - Toulouse 3
Informatique et Télécommunications
Soutenue le 08-04-2019
Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique
par Christos Rantsoudis sous la direction de Olivier Gasquet et de Guillaume Feuillade . - Toulouse 3
Informatique et Télécommunications
Soutenue le 10-12-2018
Seeing, Knowing, doing : case studies in modal logic
par François Schwarzentruber sous la direction de Olivier Gasquet - Toulouse 3
Informatique
Soutenue en 2010
Réécriture de graphes pour la construction de modèles en logique modale
par Bilal Said sous la direction de Olivier Gasquet - Toulouse 3
Informatique
Soutenue en 2010
