default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLT 1989: Trégastel, France
- Serge Bourgault, Mehmet Dincbas:
SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. 1989
Sémantique de la programmation en Logique
- Pascal Yim:
Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles. SPLT 1989: 7-24 - Philippe Ézéquel:
Sur la décomposabilité de programmes logiques. SPLT 1989: 25-40 - Pierre Deransart:
Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. SPLT 1989: 41-
Prolog et Objets
- Marcel Gandriau, Christiane Massoutie:
Classes et Types: aides à la programmation en logique. SPLT 1989: 57-70 - Paul Y. Gloess:
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. SPLT 1989: 71-96 - Jean-Luc Guérin, Paul Y. Gloess:
Programmation Logique et Objets sans variables par le dessin. SPLT 1989: 97-
Analyse de Programmes
- Pierre Deransart, Gérard Ferrand, Michel Téguia:
Test d'occurence en PROLOG et grammaires attribuées. SPLT 1989: 113-142 - Francis Alexandre:
Une heuristique pour transformer des programmes logiques. SPLT 1989: 143-158 - François Jacquenet:
Le traitement des exceptions en programmation logique avec VEGA. SPLT 1989: 159-
Spécifications en Programmation en Logique
- Pierre Azéma, François Vernadat, Jean Christophe Lloret:
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. SPLT 1989: 187-212 - Bruno Marre:
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. SPLT 1989: 213-
Langage Naturel
- Christophe Delaunay, Patrick Saint-Dizier:
Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage. SPLT 1989: 237-264 - Thierry Chanier, C. Fournier:
ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. SPLT 1989: 265-
Nouveaux formalismes
- Nadine Cullot, Jean-Jacques Chabrier:
STRALOG: Système expérimental de programmation logique multi-stratégies. SPLT 1989: 287-310 - Jean-Paul Delahaye, Philippe Mathieu:
Logique Partielle et Prolog. SPLT 1989: 311-
Environnements
- Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse:
Generic Extensions of a Prolog Browser. SPLT 1989: 331-344 - Giuseppe Cattaneo, Vincenzo Loia, Michel Quaggetto:
Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration. SPLT 1989: 345-
Négation
- Jean-Francois Puget:
Evaluation partielle des échecs en Prolog. SPLT 1989: 361-378 - Didier Ladret:
Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! SPLT 1989: 379-402 - Pierre Deransart, Gérard Ferrand:
Une vue méthodologique de la Programmation en Logique avec négation. SPLT 1989: 403-
Parallélisme
- Christian Codognet, Philippe Codognet:
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT 1989: 423-440 - D. Bourget, Remi Legrand:
Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. SPLT 1989: 441-
Extensions
- Franck Porcher, Henri Behringer:
Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). SPLT 1989: 459-478 - Pascal Brisset, Olivier Ridoux:
Quelques applications du filtrage paresseux. SPLT 1989: 479-
Implémentation
- P. Jary, X. de Joybert, P. Arsac:
Sélection de clauses en Prolog. SPLT 1989: 499-522 - J. F. Dazy, J. M. Pozas:
Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog. SPLT 1989: 523-540 - Remi Legrand:
Relationnalisation des programmes logiques. SPLT 1989: 541-
Applications
- R. Vives:
Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. SPLT 1989: 557-576 - Huy Nam Nguyen, L. Ducousso:
Automated synthesis of combinational logic using problem solving techniques. SPLT 1989: 577-582 - N. Cherif, Serge Bourgault:
Génération de scènes animées à partir du texte. SPLT 1989: 583-
Papier Invité
- Hervé Gallaire:
Programmation en Logique: faire encore plus. SPLT 1989: 605-
Epilogue
- Epilogue. SPLT 1989: 607-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-19 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
