Conferences in DBLP
Gérard Ferrand Une reconstruction de la programmation en logique avec négation. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Deransart Preuves de correction partielle des programmes logiques. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg List concatenation via extended unification. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Lepape , Serge Bourgault , D. Ranson LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. [Citation Graph (0, 0)][DBLP ] Conf ] David Chan , Pierre Dufresne , Reinhard Enders PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Y. Gloess , Dung T. Nguyen Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Conrad Termes typés et termes globaux en Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Monin , E. Barrielle Est-ce que Prolog sait lire? [Citation Graph (0, 0)][DBLP ] Conf ] Louis Dewez , E. Mafety Modulog "isa" Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] S. Pelhat Les boucles dans Prolog: structures et origines. [Citation Graph (0, 0)][DBLP ] Conf ] Hendrika Buelinckx , Ph. Francois , M. Fregier Une implémentation de grammaire de forme en Prolog II. [Citation Graph (0, 0)][DBLP ] Conf ] J. Fumeron De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle. [Citation Graph (0, 0)][DBLP ] Conf ] Gustavo Arango Prolog est-il un outil idéal pour la construction de prototypes? [Citation Graph (0, 0)][DBLP ] Conf ] Abderrahmane Aggoun , J. Y. Charpentier , J. P. Lepape , D. Ranson Compilation de Prolog sur une machine de traitement symbolique. [Citation Graph (0, 0)][DBLP ] Conf ] L. Chevalier , Serge Le Huitouze , Olivier Ridoux Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. [Citation Graph (0, 0)][DBLP ] Conf ] Nadya Tareb , Yves Kodratoff Synthèse de spécifications à partir de programmes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Delahaye Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix. [Citation Graph (0, 0)][DBLP ] Conf ] A. Belkhiri Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution. [Citation Graph (0, 0)][DBLP ] Conf ] Remi Legrand Le calcul relationnel au service de l'implantation d'un langage de programmation logique. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Pugin Using integrity constraints to control hypotheses formation. [Citation Graph (0, 0)][DBLP ] Conf ] A. El Mhamedi Interface Prolog-Graphique. [Citation Graph (0, 0)][DBLP ] Conf ] Celestin Sedogbo , Franz Guenthner Some remarks on the treatment of errors in natural language processing systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Codognet Programmation logique parallèle 87. [Citation Graph (0, 0)][DBLP ] Conf ] R. Elboussarghini , D. Herman Interprétation parallèle de Prolog et Bases de données: Une application de l'algorithme de jointure par tri et composition. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Deransart , C. Moss , G. Richard Spécification formelle de Prolog standard. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Gandilhon Proposition d'une extension objet minimale pour Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] M. Arnoux , G. Becker , M. C. Thomas Un système de frames expertes en Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Brice Lepape , M. Sellami , J. P. Aubert Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Nicolas Sur l'intégration des technologies IA et BD. [Citation Graph (0, 0)][DBLP ] Conf ] 