Conferences in DBLP
J. Durand Une application de Prolog: la génération d'interfaces utilisateurs experts pour logiciels conversationnels sous Unix. [Citation Graph (0, 0)][DBLP ] Conf ] Stella Zwecker , Guy Juanole , Omar Amyay Utilisation de Prolog dans la conception d'Architectures Multicouches pour l'interconnexion de Réseaux. [Citation Graph (0, 0)][DBLP ] Conf ] Sadeph Saidi , Jean-François Boulicaut AFFLOG: une implantation de grammaires à deux niveaux pour l'étude de la Programmation Grammaticale Logique. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Le Huitouze Une nouvelle structure de données pour l'implémentation des extensions de Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Anna-Maria Emde , Mireille Ducassé Automated debugging of non-terminating Prolog programs. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] T. Reix SP-Object: Extension objet dans le système SP-Prolog v2.1. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Andreoli , Remo Pareschi Formulae as Active Representations of Data. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Malenfant , Guy Lapalme , Jean G. Vaucher Implantation du langage de programmation logique, par objets e répartie ObjVProlog-D. [Citation Graph (0, 0)][DBLP ] Conf ] S. Lapiquonne Génération incrémentale de bases de règles trivaluées cohérentes. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Villemonte de la Clergerie DyALog: une implantation des Clauses de Horn en Programmtion Dynamique. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Bressan Formes de Pierce en logique propositionnelle. [Citation Graph (0, 0)][DBLP ] Conf ] Liliane Lardot , Norbert Batllou Une théorie du test en programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] M. Bergère , Gérard Ferrand Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Ferchichi Relational interpretation of logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Delahaye , François Denis Operational semantics of Standard Prolog: an axiomatic approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Briat , M. Favre , Cláudio F. R. Geyer OPERA: Ou parallélisme et Régulation Adaptive en Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet , Marc-Michel Corsini Abstract Interpretation from Prolog to Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Mounira Belmesk Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Delahaye , V. Thibau A new model semantics for a program with negation. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bekkers Une contrainte de négation par l'échec en Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Kao Hao , Jean-Jacques Chabrier Combining Partial Evaluation and Constraint Solving: A new approach to Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Porcher COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Lepape , D. Ranson CLEFv1 et la Programmation en Logique avec Contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Abderrahmane Aggoun , Nicolas Beldiceanu Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Boï , Antoine Rauzy La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] X. Cousin Relâchement de contraintes en Programmtion en Logique avec Contraintes. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Brisset Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Ridoux , H. Tonneau Une mise en oeuvre de l'unification d'expressions booléennes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean François Pique Décompilation conservant le déterminisme. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi A Unified Approach to Logic Programs Semantics based on Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Réflexion en cours. [Citation Graph (0, 0)][DBLP ] Conf ] 