| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | J. P. Lepape, D. Ranson |
CLEFv1 et la Programmation en Logique avec Contraintes.  |
SPLT  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Christian Codognet, Philippe Codognet, Marc-Michel Corsini |
Abstract Interpretation from Prolog to Concurrent Prolog. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | X. Cousin |
Relâchement de contraintes en Programmtion en Logique avec Contraintes. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Abderrahmane Aggoun, Nicolas Beldiceanu |
Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. |
SPLT |
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. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | J. Durand |
Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Pascal Brisset |
Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Delahaye, François Denis |
Operational semantics of Standard Prolog: an axiomatic approach. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Olivier Ridoux, H. Tonneau |
Une mise en oeuvre de l'unification d'expressions booléennes. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Liliane Lardot, Norbert Batllou |
Une théorie du test en programmation logique. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Delahaye, V. Thibau |
A new model semantics for a program with negation. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Bressan |
Formes de Pierce en logique propositionnelle. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | T. Reix |
SP-Object: Extension objet dans le système SP-Prolog v2.1. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Anna-Maria Emde, Mireille Ducassé |
Automated debugging of non-terminating Prolog programs. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Boï, Antoine Rauzy |
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Levi |
A Unified Approach to Logic Programs Semantics based on Constraints. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | |
Réflexion en cours. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Mounira Belmesk |
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Ferchichi |
Relational interpretation of logic programs. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jacques Briat, M. Favre, Cláudio F. R. Geyer |
OPERA: Ou parallélisme et Régulation Adaptive en Prolog. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Serge Le Huitouze |
Une nouvelle structure de données pour l'implémentation des extensions de Prolog. |
SPLT |
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. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean François Pique |
Décompilation conservant le déterminisme. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jin-Kao Hao, Jean-Jacques Chabrier |
Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | S. Lapiquonne |
Génération incrémentale de bases de règles trivaluées cohérentes. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Éric Villemonte de la Clergerie |
DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. |
SPLT |
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. |
SPLT |
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. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marc Andreoli, Remo Pareschi |
Formulae as Active Representations of Data. |
SPLT |
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 |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Yves Bekkers |
Une contrainte de négation par l'échec en Prolog. |
SPLT |
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. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | Franck Porcher |
COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. |
SPLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | François Jacquenet |
Le traitement des exceptions en programmation logique avec VEGA. |
SPLT |
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. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jean-Francois Puget |
Evaluation partielle des échecs en Prolog. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Nadine Cullot, Jean-Jacques Chabrier |
STRALOG: Système expérimental de programmation logique multi-stratégies. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | R. Vives |
Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Bruno Marre |
Génération automatique de jeux de tests, une solution: Spécifications Algébriques et Programmation Logique. |
SPLT |
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. |
SPLT |
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. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | N. Cherif, Serge Bourgault |
Génération de scènes animées à partir du texte. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Philippe Ézéquel |
Sur la décomposabilité de programmes logiques. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Christian Codognet, Philippe Codognet |
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Hervé Gallaire |
Programmation en Logique: faire encore plus. |
SPLT |
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. |
SPLT |
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. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jacques Bellone, AbdelAli Ed-Dbali, Christian Gresse |
Generic Extensions of a Prolog Browser. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Remi Legrand |
Relationnalisation des programmes logiques. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | P. Jary, X. de Joybert, P. Arsac |
Sélection de clauses en Prolog. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Franck Porcher, Henri Behringer |
Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle). |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Delahaye, Philippe Mathieu |
Logique Partielle et Prolog. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pierre Deransart, Gérard Ferrand |
Une vue méthodologique de la Programmation en Logique avec négation. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Didier Ladret |
Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | D. Bourget, Remi Legrand |
Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Paul Y. Gloess |
U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets. |
SPLT |
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. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pierre Deransart, Gérard Ferrand, Michel Téguia |
Test d'occurence en PROLOG et grammaires attribuées. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Huy Nam Nguyen, L. Ducousso |
Automated synthesis of combinational logic using problem solving techniques. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Marcel Gandriau, Christiane Massoutie |
Classes et Types: aides à la programmation en logique. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Guérin, Paul Y. Gloess |
Programmation Logique et Objets sans variables par le dessin. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Thierry Chanier, C. Fournier |
ACTES: Acquisition de Connaissances à partir de Textes pour un Expert en Spécifications. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Francis Alexandre |
Une heuristique pour transformer des programmes logiques. |
SPLT |
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 |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | |
Epilogue. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Pascal Brisset, Olivier Ridoux |
Quelques applications du filtrage paresseux. |
SPLT |
1989 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Decker |
Domain-Independent and Range-Restricted Formulas and Deductives Databases. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christian Percebois, F. Guerin, G. Orzati |
Parallélisme-OU et assertions Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean Duprat |
LAIOS: une exécution parallèle de Prolog par recopie des données. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | G. Richard, Antoine Rizk |
Sémantique de Parlog, un langage logique parallèle. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Remi Legrand |
Gel implicite, calcul formel et résolution d'équations en programmation logique. |
SPLT |
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é. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | E. Hubert, L. Battandier, D. Bonnard, P. Broyer |
Du prototype à l'application: éléments de méthode et outils. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez |
From Unification to Constraints. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | R. Hascoet, J. Fumeron |
De l'utilisation de Prolog pour des applications à vocation industrielle. |
SPLT |
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. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Jacques Chabrier, François Jacquenet |
VEGA: une nouvelle méthode de programmation en logique. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Claude Syre, Philippe Robert, Jacques Chassin de Kergommeaux |
Le système logique parallèle PEPSys. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | L. Regnier |
Logique linéaire et Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | O. Nerrand, Claudette Sayettat |
Prolog et les opérateurs temporels. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean Michel Cornily |
Couplage Prolog/base de données: un modèle asynchrone. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | A. Belkhiri |
Transformation de programmes Prolog avec insertion de "slash". |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Delahaye |
Stratégie générale d'exploration et coupe-choix. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | A. Marquez |
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Françoise Berthier |
Using CHIP to support decision making. |
SPLT |
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 |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
Yet another intelligent Backtracking method. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Janot |
Programmation logique avec des interpréteurs équitables. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | N. Caridroit |
Représentation des connaissances par ensemble d'atomes et clauses de Horn. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Louis Dewez, Jean-Michel Douin, Philippe Lucas, J. L. Pruvot |
L'environnement Modulog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Huy Nam Nguyen, L. Ducousso |
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Laurent Hascoët |
A tactic-driven system for building proofs. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Vincenzo Loia, Michel Quaggetto, François-Xavier Testard-Vaillant |
Outils pour l'implémentation des interprètes Prolog. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Thierry Conrad |
EQUATOR: a Many-Sorted Prolog based on Equational Unification. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Francis Alexandre, Jean-Pierre Finance, Alain Quéré |
SPES: un système de transformation de programmes logiques. |
SPLT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Remi Legrand |
Le calcul relationnel au service de l'implantation d'un langage de programmation logique. |
SPLT |
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. |
SPLT |
1987 |
DBLP BibTeX RDF |
|
| 1 | David Chan, Pierre Dufresne, Reinhard Enders |
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. |
SPLT |
1987 |
DBLP BibTeX RDF |
|
| 1 | M. Arnoux, G. Becker, M. C. Thomas |
Un système de frames expertes en Prolog. |
SPLT |
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. |
SPLT |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license