Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | J. P. Lepape, D. Ranson |
CLEFv1 et la Programmation en Logique avec Contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 463-486, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Marc-Michel Corsini |
Abstract Interpretation from Prolog to Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 351-370, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | X. Cousin |
Relâchement de contraintes en Programmtion en Logique avec Contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 523-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Aggoun, Nicolas Beldiceanu |
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 487-510, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Sadeph Saidi, Jean-François Boulicaut |
AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 45-70, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | J. Durand |
Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 7-22, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Pascal Brisset |
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 527-550, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye, François Denis |
Operational semantics of Standard Prolog: an axiomatic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 311-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Olivier Ridoux, H. Tonneau |
Une mise en oeuvre de l'unification d'expressions booléennes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 551-570, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Liliane Lardot, Norbert Batllou |
Une théorie du test en programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 243-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye, V. Thibau |
A new model semantics for a program with negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 389-404, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Stéphane Bressan |
Formes de Pierce en logique propositionnelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 229-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | T. Reix |
SP-Object: Extension objet dans le système SP-Prolog v2.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 127-138, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Anna-Maria Emde, Mireille Ducassé |
Automated debugging of non-terminating Prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 89-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Boï, Antoine Rauzy |
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 511-522, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi |
A Unified Approach to Logic Programs Semantics based on Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 583-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | |
Réflexion en cours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 587-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mounira Belmesk |
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 371-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ahmed Ferchichi |
Relational interpretation of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 293-310, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jacques Briat, M. Favre, Cláudio F. R. Geyer |
OPERA: Ou parallélisme et Régulation Adaptive en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 329-350, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Serge Le Huitouze |
Une nouvelle structure de données pour l'implémentation des extensions de Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 71-88, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jacques Malenfant, Guy Lapalme, Jean G. Vaucher |
Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 161-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean François Pique |
Décompilation conservant le déterminisme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 571-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jin-Kao Hao, Jean-Jacques Chabrier |
Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 431-446, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | S. Lapiquonne |
Génération incrémentale de bases de règles trivaluées cohérentes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 187-206, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Éric Villemonte de la Clergerie |
DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 207-228, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Stella Zwecker, Guy Juanole, Omar Amyay |
Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 23-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Michel Bergère, Gérard Ferrand |
Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 263-292, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jean-Marc Andreoli, Remo Pareschi |
Formulae as Active Representations of Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 139-160, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Serge Bourgault, Mehmet Dincbas (eds.) |
SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yves Bekkers |
Une contrainte de négation par l'échec en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 405-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Selmin Nurcan, Jacques Kouloumdjian, Li Lei |
Un gestionnaire de connaissances reposant sur l'intégration de la programmation logique et des bases de donnés relationnelles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 105-, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Franck Porcher |
COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'90, 8ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France, pp. 447-462, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | François Jacquenet |
Le traitement des exceptions en programmation logique avec VEGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 159-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 7-24, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jean-Francois Puget |
Evaluation partielle des échecs en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 361-378, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Nadine Cullot, Jean-Jacques Chabrier |
STRALOG: Système expérimental de programmation logique multi-stratégies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 287-310, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | R. Vives |
Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 557-576, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Bruno Marre |
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 213-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 523-540, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 41-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | N. Cherif, Serge Bourgault |
Génération de scènes animées à partir du texte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 583-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Philippe Ézéquel |
Sur la décomposabilité de programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 25-40, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet |
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 423-440, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Hervé Gallaire |
Programmation en Logique: faire encore plus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 605-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pierre Azéma, François Vernadat 0001, Jean Christophe Lloret |
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 187-212, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Christophe Delaunay, Patrick Saint-Dizier |
Un analyseur ascendant de langage naturel basé sur la théorie de gouvernement et liage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 237-264, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse |
Generic Extensions of a Prolog Browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 331-344, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Remi Legrand |
Relationnalisation des programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 541-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | P. Jary, X. de Joybert, P. Arsac |
Sélection de clauses en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 499-522, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Franck Porcher, Henri Behringer |
Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 459-478, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye, Philippe Mathieu |
Logique Partielle et Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 311-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand |
Une vue méthodologique de la Programmation en Logique avec négation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 403-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Didier Ladret |
Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 379-402, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | D. Bourget, Remi Legrand |
Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 441-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess |
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 71-96, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Giuseppe Cattaneo, Vincenzo Loia, Michel Quaggetto |
Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 345-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Gérard Ferrand, Michel Téguia |
Test d'occurence en PROLOG et grammaires attribuées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 113-142, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Huy Nam Nguyen, L. Ducousso |
Automated synthesis of combinational logic using problem solving techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 577-582, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Marcel Gandriau, Christiane Massoutie |
Classes et Types: aides à la programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 57-70, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Guérin, Paul Y. Gloess |
Programmation Logique et Objets sans variables par le dessin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 97-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Thierry Chanier, C. Fournier |
ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 265-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Francis Alexandre |
Une heuristique pour transformer des programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 143-158, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Serge Bourgault, Mehmet Dincbas (eds.) |
SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | |
Epilogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 607-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pascal Brisset, Olivier Ridoux |
Quelques applications du filtrage paresseux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'89, 8ème Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France, pp. 479-, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Hendrik Decker |
Domain-Independent and Range-Restricted Formulas and Deductives Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 385-398, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Christian Percebois, F. Guerin, G. Orzati |
Parallélisme-OU et assertions Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 455-470, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean Duprat |
LAIOS: une exécution parallèle de Prolog par recopie des données. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 471-490, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | G. Richard, Antoine Rizk |
Sémantique de Parlog, un langage logique parallèle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 491-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Remi Legrand |
Gel implicite, calcul formel et résolution d'équations en programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 105-120, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mireille Blay-Fornarino, Anne-Marie Pinna-Dery |
Intégration de concepts de la programmation en logique à un langage de schémas paramétré. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 143-170, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | E. Hubert, L. Battandier, D. Bonnard, P. Broyer |
Du prototype à l'application: éléments de méthode et outils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 295-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Lassez |
From Unification to Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 543-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | R. Hascoet, J. Fumeron |
De l'utilisation de Prolog pour des applications à vocation industrielle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 279-294, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Bernard Migault, François Rousselot, Bernard Keith, J. M. Jeltsch |
Un système d'aide à l'expérimention en génie génétique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 247-266, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Jacques Chabrier, François Jacquenet |
VEGA: une nouvelle méthode de programmation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 121-142, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux |
Le système logique parallèle PEPSys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 425-454, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | L. Regnier |
Logique linéaire et Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 53-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | O. Nerrand, Claudette Sayettat |
Prolog et les opérateurs temporels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 185-206, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean Michel Cornily |
Couplage Prolog/base de données: un modèle asynchrone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 399-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | A. Belkhiri |
Transformation de programmes Prolog avec insertion de "slash". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 85-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Delahaye |
Stratégie générale d'exploration et coupe-choix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 337-360, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | A. Marquez |
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 207-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Françoise Berthier |
Using CHIP to support decision making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 225-246, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Serge Bourgault, Mehmet Dincbas (eds.) |
SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
Yet another intelligent Backtracking method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 317-336, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Stéphane Janot |
Programmation logique avec des interpréteurs équitables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 361-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | N. Caridroit |
Représentation des connaissances par ensemble d'atomes et clauses de Horn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 7-30, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Louis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot |
L'environnement Modulog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 529-, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Huy Nam Nguyen, L. Ducousso |
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 267-278, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Laurent Hascoët |
A tactic-driven system for building proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 31-52, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant |
Outils pour l'implémentation des interprètes Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 515-528, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Thierry Conrad |
EQUATOR: a Many-Sorted Prolog based on Equational Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 171-184, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Francis Alexandre, Jean-Pierre Finance, Alain Quéré |
SPES: un système de transformation de programmes logiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'88, 7ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France, pp. 69-84, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Remi Legrand |
Le calcul relationnel au service de l'implantation d'un langage de programmation logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 333-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Claire Saurel |
EXPLINEG1: Une méthode de génération d'explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 347-358, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | David Chan, Pierre Dufresne, Reinhard Enders |
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 77-108, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | M. Arnoux, G. Becker, M. C. Thomas |
Un système de frames expertes en Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 507-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | A. Belkhiri |
Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLT ![In: SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France, pp. 307-, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|