|
|
|||
|
|
|
||
Thèses d'EtatThèses de troisième cycleThèses de docteur-ingénieurThèses d'Université
1. J-L. Lauriere. Un langage et un programme pour énoncer et résoudre des problèmes combinatoires. Thèse de doctorat d'état présentée à l'Université Paris 6. 21-5-1976.
2. A. Adam. Utilisation des transformations sémantiques pour la correction automatique des programmes. Thèse de doctorat d'état présentée à l'Université Paris 6. 23-11-1978.
3. J-P. Laurent. Un système qui met en évidence les erreurs sémantiques dans les programmes. Thèse de doctorat d'état présentée à l'Université Paris 6. 23-11-1978.
4. M. Vivet. Expertise mathématique et informatique: CAMELIA, un logiciel pour raisonner et calculer. Thèse de doctorat d'état présentée à l'Université Paris 6. 25-6-1984.
5. D. Pastre. MUSCADET: un système de démonstration automatique de théorèmes utilisant connaissances et métaconnaissances en mathématiques. Thèse de doctorat d'état présentée à l'Université Paris 6. 22-11-1984.
6. F. Rousselot. Réalisation d'un programme comprenant des textes en utilisant un formalisme unique pour représenter toutes les connaissances nécessaires. Thèse de doctorat d'état présentée à l'Université Paris 6. 12-12-1984.
7. J-M. Fouet. Utilisation des connaissances pour améliorer l'utilisation de connaissances: la Machine Gosseyn. Thèse de doctorat d'état présentée à l'Université Paris 6. 30-9-1987.
8. J-L. Delhaye. DATAL: un programme de démonstration automatique de théorèmes. Thèse de troisième cycle présentée à l'Université Paris 6. 9-4-1970.
9. J-L. Lauriere. Sur la coloration de certains hypergraphes. Application aux problèmes d'emploi du temps. Thèse de troisième cycle présentée à l'Université Paris 6. 23-6-1971.
10. C. Pham. Analyse automatique de spectres de résonance magnétique nucleaire par des procédés heuristiques. Thèse de troisième cycle présentée à l'Université Paris 6. 21-6-1972.
11. J-P. Laurent. Un programme qui calcule des limites en levant les indéterminations par des procédés heuristiques. Thèse de troisième cycle présentée à l'Université Paris 6. 21-6-1972.
12. B. Flavigny. Sur la détection a priori des erreurs dans les programmes. Thèse de troisième cycle présentée à l'Université Paris 6. 29-11-1972.
13. A. Adam. GADGET: un programme de génération automatique de programmes sur les graphes et les ensembles. Thèse de troisième cycle présentée à l'Université Paris 6. 2-4-1973.
14. M. Vivet. Un programme qui vérifie des identités en utilisant le raisonnement par récurrence. Thèse de troisième cycle présentée à l'Université Paris 6. 29-11-1973.
15. O. Carriere. Réalisation d'un programme heuristique qui résout des tests psychologiques de mesure du facteur G. Thèse de troisième cycle présentée à l'Université Paris 6. 19-6-1973.
16. M. Rousseau. Résolution automatique d'exercices d'électricité posés en francais. Thèse de troisième cycle présentée à l'Université Paris 6. 7-12-1973.
17. R. Dallard. Présentation d'un programme de démonstration de théorèmes d'arithmétique. Thèse de troisième cycle présentée à l'Université Paris 6. 24-4-1974.
18. C. Lemaitre. problèmes de planification et apprentissage dans le cas d'un programme de simulation de robot. Thèse de troisième cycle présentée à l'Université Paris 6. 29-5-1974.
19. M. Grandbastien. Un programme qui résout formellement des équations trigonométriques par des procédés heuristiques. Thèse de troisième cycle présentée à l'Université Paris 6. 14-6-1974.
20. M. Buthion. Un programme qui résout formellement des problèmes de construction géometrique. Thèse de troisième cycle présentée à l'Université Paris 6. 13-6-1975.
21. F. Rousselot. Simulation d'un robot qui comprend et exécute des ordres donnés en francais. Thèse de troisième cycle présentée à l'Université Paris 6. 13-6-1975.
22. A. Durand. Un programme de démonstration d'exercices d'algeble. Thèse de troisième cycle présentée à l'Université Paris 6. 13-6-1975.
23. M-F. Verdejo. Etude du langage naturel (Simulation d'un robot capable de mener un dialogue en espagnol). Thèse de troisième cycle présentée à l'Université Paris 6. 30-10-1975.
24. A. Hertz. Programme de démonstration de théorèmes formulables en logique des prédicats du premier ordre avec égalité. Thèse de troisième cycle présentée à l'Université Paris 6. 2-12-1975.
25. P-Y. Gloess. GENER: un générateur de programmes. Thèse de troisième cycle présentée à l'Université Paris 6. 19-10-1976.
26. D. Pastre. démonstration automatique de théorèmes en théorie des ensembles. Thèse de troisième cycle présentée à l'Université Paris 6. 22-10-1976.
27. F. Garijo. GPFAR-2: un système d'écriture automatique de programmes pour le calcul optimisé des fonctions récursives. Thèse de troisième cycle présentée à l'Université Paris 6. 20-1-1978.
28. D. Bourgoin. Un programme heuristique pour résoudre des exercices d'arithmétique. Thèse de troisième cycle présentée à l'Université Paris 6. 10-3-1978.
29. B. Wakim. Compréhension automatique d'un langage naturel. Application à l'arabe. Thèse de troisième cycle présentée à l'Université Claude Bernard de Lyon. 6. 30-3-1978.
30. J.Carnet. Une méthode heuristique de maillage dans le plan pour la mise en oeuvre des éléments finis. Thèse de troisième cycle présentée à l'Université Paris 6. 5-12-1978.
31. B. Merialdo. représentation des ensembles en démonstration automatique. Thèse de troisième cycle présentée à l'Université Paris 6. 27-3-1979.
32. M-O. Cordier. Commande d'un robot en langage naturel dans un domaine nécessitant des connaissances pragmatiques: les recettes de cuisine. Thèse de troisième cycle présentée à l'Université Paris-Sud. 28-3-1979.
33. J-M. Fouet. Conception par ordinateur de mécanismes à une boucle. Thèse de troisième cycle présentée à l'Université Paris 6. 6-6-1979.
34. B. Hudault. Un exemple de compréhension du langage naturel: sommaires automatiques d'une jurisprudence rendue en matiere de responsabilité de la circulation. Thèse de troisième cycle présentée à l'Université Paris 6. 11-7-1979.
35. M. Gillet. Un exemple d'utilisation de connaissances en démonstration automatique. Thèse de troisième cycle présentée à l'Université Paris 6. 19-6-1980.
36. C. Moghrabi. Un programme de génération conceptuelle de l'arabe: application aux recettes de cuisine. Thèse de troisième cycle présentée à l'Université Paris 6. 16-12-1980.
37. M. Lopez Laiseca. Compréhension de casse-tête en langage naturel. Traduction dans le langage Alice. Thèse de troisième cycle présentée à l'Université Paris 6. Thèse codirigee avec J-L.Lauriere. 16-12-1980.
38. M. Tomasena. Réalisation d'un système de compréhension de textes décrivant en francais des règles de réussites. Thèse de troisième cycle présentée à l'Université Paris 6. 26-6-1981.
39. G. Arango. Une approche pour amorcer le processus de compréhension et d'utilisation du sens des mots en langage naturel. Thèse de troisième cycle présentée à l'Université Paris 6. 28-11-1983.
40. N. Chelly. Un système expert pour négocier en langage naturel l'orientation des bacheliers. Thèse de troisième cycle présentée à l'Université Paris 6. 28-11-1983.
41. X. Debanne. SESP, un système expert pour la sélection du personnel. Thèse de troisième cycle présentée à l'Université Paris 6. 17-12-1984.
42. B. Chichetchi. Comprehension du langage naturel: traduction paraphrasée d'exercices sur le courant alternatif posés en persan. Thèse de docteur ingenieur présentée à l'Université Paris 6. 4-7-1979.
43. M. Hassan Gheith. Réalisation d'un programme comprenant des exercices de mécanique posés en arabe. Thèse de docteur ingenieur présentée à l'Université Paris 6. 28-2-1980.
44. A-M. Martinez Enriquez. L'archivage automatique des connaissances à partir de textes en francais. Thèse de docteur ingenieur présentée à l'Université Paris 6. 27-3-1985.
45. N. Simonin. Utilisation d'une expertise pour engendrer des textes structurés en francais. Thèse de l'Université Paris 6. 8-3-1985.
46. E. Fimbel. Les réseaux miroirs, un mécanisme d'inférence général; application à un système d'assimilation de textes. Thèse de l'Université Paris 6. 8-3-1985.
47. L. Popesco. Analyse et génération de textes à partir d'un seul ensemble de connaissances pour chaque langue naturelle et de méta-règles de structuration. Thèse de l'Université Paris 6. 19-3-1986.
48. B. Roger. Un système de dialogue intelligent avec un interlocuteur à la decouverte du monde simulé par un logiciel quelconque. Thèse de l'Université Paris 6. 25-6-1987.
49. S. Pinson. Meta-modèle et heuristiques de jugement: le système CREDEX. Application à l'évaluation du risque crédit entreprise. Thèse de l'Université Paris 6. 8-12-1987.
50. Y. Parchemal. SEPIAR: un système a base de connaissances qui apprend à utiliser efficacement une expertise. Thèse de l'Université Paris 6. 22-12-1988.
51. H. Giroire. Un système a base de connaissances pour la génération d'exercices dans des domaines du monde reel. Thèse de l'Université Paris 6. 16-1-1989.
52. M. Porcheron. Utilisation de métaconnaissances pour la compilation des règles de production. Thèse de l'Université Paris 6. 23-1-1990.
53. G. Tisseau. Modélisation à partir d'un énoncé informel: le système Modélis. Application à des exercices de Thermodynamique. Thèse de l'Université Paris 6. 29-6-1990.
54. P. Mazas. Acquisition de connaissances de conception: le système SYSIFE. Thèse de l'Université Paris 6. 11-7-1990.
55. J. Courtois. SIAM: un système de diagnostic qui s'adapte aisément à de nouveaux domaines et qui enseigne sa méthode. Thèse de l'Université Paris 6. 24-10-1990.
56. C. Jimenez. Sur l'explication dans les systèmes à base de regles: le système PROSE. Thèse de l'Université Paris 6. 13-11-1990.
57. M. Hilario. L'apprentissage d'heuristiques de contrôle pour la planification: une approche abductive. Thèse de l'Université Paris 6. 18-12-1991.
58. S. Kornman. SADE: un système de surveillance reflexif à base de connaissances. Thèse de l'Université Paris 6. 22-1-1993.
59. M. Bardinet. SAHEL : Un système qui résout un problème combinatoire en adaptant dynamiquement ses connaissances. Application à la recherche de topologies du réseau électrique 400kV francais vérifiant certains types de contraintes. Thèse de l'Université Paris 6. 9-7-1993.
60. M. Pintado. Apprentissage et démonstration automatique de théorèmes. Thèse de l'Université Paris 6. 13-12-1994.
61. J-M. Nigro. La conception et la réalisation d'un générateur automatique de commentaires : le système GénéCom. Application au jeu du Tarot. Thèse de l'Université Paris 6. 12-1-1995. Résumé
62. B. Bouzy. Modélisation cognitive du joueur de Go. Thèse de l'Université Paris 6. 13-1-1995. Résumé
63. P. Ricaud. GOBELIN : Une approche pragmatique de l'abstraction appliquée à la modélisation de la stratégie élémentaire du jeu de Go. Thèse de l'Université Paris 6. 16-12-1995. Résumé
64. M. Masson. DIACODEX : Un langage et un système pour effectuer un DIAgnostic à l'aide de COnnaissances Déclaratives EXpertes. Thèse de l'Université Paris 6. 18-12-1995. Résumé
65. T. Cazenave. Système d'apprentissage par auto-observation. Application au jeu de Go. Thèse de l'université Paris 6. 13-12-1996. Résumé
66. C. Turle. ASGARD : un
système qui résout des problèmes énoncés déclarativement.
Application : la découverte de nouveaux concepts en
mathématiques. Diplôme d'études doctorales de l'université
Paris 6. 16-12-1997.
67. G. Pecego. SYGEP, un système de génération
d'énoncés de problèmes dans des domaines variés. Thèse de
l'université Paris 6. 12-6-1998. Résumé
68. R. Moneret. STRATEGOS : un système
multi-jeux utilisant la théorie combinatoire des jeux, capable
d'apprendre automatiquement les dépendances entre sous-jeux
locaux. Thèse de l'Université Paris 6. 7-7-2000.
69. H. Lesourd. Le système Hammourabi. Thèse
de l'Université Paris 6. 16-9-2002.
70. T. Pannérec. Un système général avec un
contrôle de la résolution à base de métaconnaissances pour
des problèmes d'affectation optimale. Thèse de l'Université
Paris 6. 2-12-2002