Automates à Piles et Programmation Dynamique. DyALog: Une application à la Programmation en Logique.

Ce document donne accès aux différentes parties de ma thèse de doctorat:

• Preambule Les pages d'en tête et Remerciements.
• Chapitre 1 Introduction.
• Chapitre 2 Préliminaires. Notation. Rappels.
• Chapitre 3 Rappels sur la Programmation Dynamique.
• Chapitre 4 Tout sur les domaines ordonés de piles.
• Chapitre 5 Présentation des Automates à Piles orienté Subsomption [SPDA].
• Chapitre 6 Interprétations en Programmation Dynamique des SPDA.
• Chapitre 7 Automates de couplage.
• Chapitre 8 Rappels sur la Programmation en Logique
• Chapitre 9 Utilisation des Automates Logiques à Piles [LPDA] pour la Programmation en Logique.
• Chapitre 10 Compléments sur les LPDA
• Chapitre 11 Implantation du système DyALog.
• Chapitre 12 Discussion sur les systèmes d'indexation.
• Chapitre 13 Partage de Structures.
• Chapitre 14 Conclusion.
• Fin Table des matières, liste des figures, index, bibliographie, annexes.