"Auteur";"Identifiant auteur";"Titre";"Directeur de these";"Directeur de these (nom prenom)";"Identifiant directeur";"Etablissement de soutenance";"Identifiant etablissement";"Discipline";"Statut";"Date de premiere inscription en doctorat";"Date de soutenance";"Langue de la these";"Identifiant de la these";"Accessible en ligne";"Publication dans theses.fr";"Mise a jour dans theses.fr"; Maroua Bouzid;133333450;Contribution au raisonnement temporel : application aux systèmes de maintien de vérité;Jean-Paul Haton,François Charpillet;Haton Jean-Paul,Charpillet François;026915944,070140553;Nancy 1;026403390;Informatique;soutenue;;01-01-1995;fr;1995NAN10337;non;24-05-2013;11-07-2020; Anne-Claire Boury-Brisset;191679259;Maintien de vérité dans un système à architecture de blackboard;Jean-Paul Haton;Haton Jean-Paul;026915944;Nancy 1;026403390;Sciences appliquées;soutenue;;01-01-1992;fr;1992NAN10020;non;29-08-2017;07-03-2020; Autcharaporn Somsing;203041445;Understanding the determinants of creativity at an individual and team level;Nassim Belbaly,Isabelle Bourdon;Belbaly Nassim,Bourdon Isabelle;197366449,083296417;Montpellier;183316401;Sciences de Gestion;soutenue;;06-12-2016;en;2016MONTD046;non;28-10-2015;11-07-2017; Frédéric Maris;144130939;Planification SAT et planification temporellement expressive : les systèmes TSP et TLP-GP;Pierre Régnier;Régnier Pierre;081262485;Toulouse 3;026404672;Informatique. Intelligence artificielle;soutenue;;01-01-2009;fr;2009TOU30174;oui;24-05-2013;12-07-2020; Thierry Emery;197370721;Contribution au contrôle dynamique de la cohérence dans les systèmes à base de connaissances;Philippe Cornu;Cornu Philippe;197370608;Compiègne;026570564;Contrôle des Systèmes;soutenue;;01-01-1989;fr;1989COMPD180;non;04-01-2017;06-03-2020; Wei Shang;227418387;Un système et un langage pour le traitement d'inférences non monotone;Pierre Le Beux;Le Beux Pierre;026971402;Compiègne;026570564;Contrôle des Systèmes;soutenue;;01-01-1990;fr;1990COMPD299;non;07-06-2018;06-03-2020; Olivier Palmade;;Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS;Michel Cayrol;Cayrol Michel;061626082;Toulouse 3;026404672;Informatique;soutenue;;01-01-1992;fr;1992TOU30197;non;24-05-2013;12-10-2019; RACHID YACOUB;;Strategies de resolution pour focaliser un systeme de maintien de la coherence;Michel De Glas;De Glas Michel;034161910;Paris 6;027787087;Sciences appliquées;soutenue;;01-01-1997;fr;1997PA066589;non;24-05-2013;12-07-2020; Régis Sabbadin;133261395;Une approche ordinale de la decision dans l'incertainAxiomatisation, representation logique et application a la decision sequentielle;Didier Dubois;Dubois Didier;026839482;Toulouse 3;026404672;Sciences appliquées;soutenue;;01-01-1998;fr;1998TOU30223;non;24-05-2013;10-07-2020; Pierre Tayrac;137167849;Etude de nouvelles stratégies de résolution : application à l'ATMS;Michel Cayrol;Cayrol Michel;061626082;Toulouse 3;026404672;Intelligence artificielle;soutenue;;01-01-1990;fr;1990TOU30104;non;24-05-2013;12-07-2020;