The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SPLT"( http://dblp.L3S.de/Venues/SPLT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/jfplc

Publication years (Num. hits)
1982-1983 (30) 1984 (21) 1985 (22) 1986 (34) 1987 (31) 1988 (29) 1989 (33) 1990 (33)
Publication types (Num. hits)
inproceedings(224) proceedings(9)
Venues (Conferences, Journals, ...)
SPLT(233)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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