TY  - THES
DP  - http://www.theses.fr/1995NAN10337
TI  - Contribution au raisonnement temporel : application aux systèmes de maintien de vérité
AU  - Bouzid, Maroua
A3  - Haton, Jean-Paul; Charpillet, François
PY  - 1995
SP  - 1 vol. (151 p.)
N1  - Thèse de doctorat Informatique Nancy 1 1995
N1  - 1995NAN10337
ER  - 

TY  - THES
DP  - http://www.theses.fr/1992NAN10020
TI  - Maintien de vérité dans un système à architecture de blackboard
AU  - Boury-Brisset, Anne-Claire
A3  - Haton, Jean-Paul
PY  - 1992
SP  - 1 vol
N1  - Thèse de doctorat Sciences appliquées Nancy 1 1992
N1  - 1992NAN10020
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016MONTD046
TI  - Understanding the determinants of creativity at an individual and team level
AU  - Somsing, Autcharaporn
A3  - Belbaly, Nassim; Bourdon, Isabelle
PY  - 2016
N1  - Thèse de doctorat Sciences de Gestion Montpellier 2016
N1  - 2016MONTD046
ER  - 

TY  - THES
DP  - http://www.theses.fr/2009TOU30174
TI  - Planification SAT et planification temporellement expressive : les systèmes TSP et TLP-GP
AU  - Maris, Frédéric
A3  - Régnier, Pierre
PY  - 2009
SP  - 1 vol. (177 p.)
N1  - Thèse de doctorat Informatique. Intelligence artificielle Toulouse 3 2009
N1  - 2009TOU30174
UR  - http://www.theses.fr/2009TOU30174/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1989COMPD180
TI  - Contribution au contrôle dynamique de la cohérence dans les systèmes à base de connaissances
AU  - Emery, Thierry
A3  - Cornu, Philippe
PY  - 1989
SP  - 1 vol. (249 p.)
N1  - Thèse de doctorat Contrôle des Systèmes Compiègne 1989
N1  - 1989COMPD180
ER  - 

TY  - THES
DP  - http://www.theses.fr/1990COMPD299
TI  - Un système et un langage pour le traitement d'inférences non monotone
AU  - Shang, Wei
A3  - Le Beux, Pierre
PY  - 1990
SP  - 1 vol. (176 p.)
N1  - Thèse de doctorat Contrôle des Systèmes Compiègne 1990
N1  - 1990COMPD299
ER  - 

TY  - THES
DP  - http://www.theses.fr/1992TOU30197
TI  - Etude et implantation de nouveaux mécanismes d'inférence en logique propositionnelle. Application aux ATMS
AU  - Palmade, Olivier
A3  - Cayrol, Michel
PY  - 1992
SP  - [13]-237 p
N1  - Thèse de doctorat Informatique Toulouse 3 1992
N1  - 1992TOU30197
ER  - 

TY  - THES
DP  - http://www.theses.fr/1997PA066589
TI  - Strategies de resolution pour focaliser un systeme de maintien de la coherence
AU  - YACOUB, RACHID
A3  - De Glas, Michel
PY  - 1997
SP  - 219 P.
N1  - Thèse de doctorat Sciences appliquées Paris 6 1997
N1  - 1997PA066589
ER  - 

TY  - THES
DP  - http://www.theses.fr/1998TOU30223
TI  - Une approche ordinale de la decision dans l'incertainAxiomatisation, representation logique et application a la decision sequentielle
AU  - Sabbadin, Régis
A3  - Dubois, Didier
PY  - 1998
SP  - 200 P.
N1  - Thèse de doctorat Sciences appliquées Toulouse 3 1998
N1  - 1998TOU30223
ER  - 

Pas de TEF en base.