Search results for "SPLT"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Nadya Tareb, Yves Kodratoff	Synthèse de spécifications à partir de programmes.	SPLT	1987	DBLP BibTeX RDF
1	J. Fumeron	De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle.	SPLT	1987	DBLP BibTeX RDF
1	Brice Lepape, M. Sellami, J. P. Aubert	Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances.	SPLT	1987	DBLP BibTeX RDF
1	Gustavo Arango	Prolog est-il un outil idéal pour la construction de prototypes?	SPLT	1987	DBLP BibTeX RDF
1	Hendrika Buelinckx, Ph. Francois, M. Fregier	Une implémentation de grammaire de forme en Prolog II.	SPLT	1987	DBLP BibTeX RDF
1	Louis Dewez, E. Mafety	Modulog "isa" Prolog.	SPLT	1987	DBLP BibTeX RDF
1	Philippe Codognet	Programmation logique parallèle 87.	SPLT	1987	DBLP BibTeX RDF
1	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.	SPLT	1987	DBLP BibTeX RDF
1	Jean-François Monin, E. Barrielle	Est-ce que Prolog sait lire?	SPLT	1987	DBLP BibTeX RDF
1	Jean-Marie Nicolas 0001	Sur l'intégration des technologies IA et BD.	SPLT	1987	DBLP BibTeX RDF
1	Pierre Deransart	Preuves de correction partielle des programmes logiques.	SPLT	1987	DBLP BibTeX RDF
1	Gérard Ferrand	Une reconstruction de la programmation en logique avec négation.	SPLT	1987	DBLP BibTeX RDF
1	Jean-Marc Pugin	Using integrity constraints to control hypotheses formation.	SPLT	1987	DBLP BibTeX RDF
1	A. El Mhamedi	Interface Prolog-Graphique.	SPLT	1987	DBLP BibTeX RDF
1	Thierry Gandilhon	Proposition d'une extension objet minimale pour Prolog.	SPLT	1987	DBLP BibTeX RDF
1	Paul Y. Gloess, Dung T. Nguyen	Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog.	SPLT	1987	DBLP BibTeX RDF
1	Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson	Compilation de Prolog sur une machine de traitement symbolique.	SPLT	1987	DBLP BibTeX RDF
1	S. Pelhat	Les boucles dans Prolog: structures et origines.	SPLT	1987	DBLP BibTeX RDF
1	Thierry Conrad	Termes typés et termes globaux en Prolog.	SPLT	1987	DBLP BibTeX RDF
1	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.	SPLT	1987	DBLP BibTeX RDF
1	Laurent Fribourg	List concatenation via extended unification.	SPLT	1987	DBLP BibTeX RDF
1	Celestin Sedogbo, Franz Guenthner	Some remarks on the treatment of errors in natural language processing systems.	SPLT	1987	DBLP BibTeX RDF
1		SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France	SPLT	1987	DBLP BibTeX RDF
1	Jean-Paul Delahaye	Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix.	SPLT	1987	DBLP BibTeX RDF
1	Louis Chevalier, Serge Le Huitouze, Olivier Ridoux	Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire.	SPLT	1987	DBLP BibTeX RDF
1	Pierre Deransart, C. Moss, G. Richard	Spécification formelle de Prolog standard.	SPLT	1987	DBLP BibTeX RDF
1	J. Eudes	Résolution et dépendance entre données dans un programme Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Christian Codognet, Philippe Codognet, Gilberto Filé	Backtracking intelligent en programmation logique.	SPLT	1986	DBLP BibTeX RDF
1	Philippe Lebaube, Brice Lepape	Prolog et les techniques de contrôle.	SPLT	1986	DBLP BibTeX RDF
1	R. Lescoeur, Jean-Marc Kerisit	Evaluation ensembliste en "largeur d'abord" dans Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Patrick Taillibert, S. Varennes	MI4: Une approche industrielle des systèmes experts.	SPLT	1986	DBLP BibTeX RDF
1	Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret	Une représentation graphique pour Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Philippe Lebaube, Brice Lepape	Evaluation partielle de requêtes dans le cadre du projet EPSILON.	SPLT	1986	DBLP BibTeX RDF
1	Serge Le Huitouze, Olivier Ridoux	Une expérience de réalisation du Gel et du Dif dans MALI.	SPLT	1986	DBLP BibTeX RDF
1	S. Levionnois, A. Scrizzi	Gestion d'une base de données virtuelle (BDV): Une application de Métalislog.	SPLT	1986	DBLP BibTeX RDF
1	P. Legay, Claudette Sayettat	Le temps, la chronologie et Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Jean-Marc Pugin	Assuming that you need to assume.	SPLT	1986	DBLP BibTeX RDF
1	Jean Beney, Jean-François Boulicaut	STARLET: un langage pour une programmation logique fiable.	SPLT	1986	DBLP BibTeX RDF
1	Alain Colmerauer	Note sur Prolog III.	SPLT	1986	DBLP BibTeX RDF
1	Patrick Sallé, Christiane Massoutie, Marcel Gandriau	Un langage logique orienté objet.	SPLT	1986	DBLP BibTeX RDF
1	Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure	Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski.	SPLT	1986	DBLP BibTeX RDF
1	Thierry Conrad	Réarrangement de clauses Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Thierry Gandilhon, B. Ouazan, D. Sciamma	LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation.	SPLT	1986	DBLP BibTeX RDF
1	J. Durand, M. Rusinovitch	Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes.	SPLT	1986	DBLP BibTeX RDF
1	Pascal Yim	Une nouvelle approche de la programmation en logique.	SPLT	1986	DBLP BibTeX RDF
1	Jacques Bellone, R. Picca	Concurrent Prolog: Modèle de calcul et gestion de la mémoire.	SPLT	1986	DBLP BibTeX RDF
1	G. Landais	Transformation de programmes Prolog en vue de la compilation.	SPLT	1986	DBLP BibTeX RDF
1	D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder	Un système ouvert de programmation Prolog.	SPLT	1986	DBLP BibTeX RDF
1	Gilles Berger-Sabbatel	Mesures comportementales sur l'interprétation de Prolog.	SPLT	1986	DBLP BibTeX RDF
1	M. Kharoune, Abderrahmane Aggoun	Deux approches du parallélisme ET en Prolog.	SPLT	1986	DBLP BibTeX RDF
1	J. Y. Cras	Types et fonctions en Prolog: une approche ensembliste.	SPLT	1986	DBLP BibTeX RDF
1	Jean-Paul Delahaye, P. Paradinas	Définitions de stratégies équitables en programmation logique.	SPLT	1986	DBLP BibTeX RDF
1	Mehmet Dincbas, Pascal Van Hentenryck	Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques.	SPLT	1986	DBLP BibTeX RDF
1	J. Y. Murzin	FAON: a functional abstractor of netlists.	SPLT	1986	DBLP BibTeX RDF
1	Y. von Kraute	Ich habe es nicht gewollt.	SPLT	1986	DBLP BibTeX RDF
1	Pierre Deransart, Gérard Ferrand	Programmation en logique: méthodologie et enseignement.	SPLT	1986	DBLP BibTeX RDF
1	Mireille Ducassé	OPIUM: un outil de trace sophistiqué pour PROLOG.	SPLT	1986	DBLP BibTeX RDF
1	N. Azibi, Yves Kodratoff, Ernesto Jorge Costa	Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique.	SPLT	1986	DBLP BibTeX RDF
1		SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France	SPLT	1986	DBLP BibTeX RDF
1	L. Zouiten	Implémenter Prolog dans un environnement de programmation.	SPLT	1986	DBLP BibTeX RDF
1	Jean-Claude Syre, Jacques Noyé	Une revue des modèles parallèles pour PROLOG.	SPLT	1985	DBLP BibTeX RDF
1	Laurent Vieille	Le traitement des axiomes récursifs dans les bases de données déductives.	SPLT	1985	DBLP BibTeX RDF
1	M. Favre	Etude de langage Concurrent Prolog.	SPLT	1985	DBLP BibTeX RDF
1	Serge Bourgault, Mehmet Dincbas (eds.)	SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France	SPLT	1985	DBLP BibTeX RDF
1	M. Kharoune	Manipulation formelle de programmes Prolog.	SPLT	1985	DBLP BibTeX RDF
1	B. Crepel	Utilisation de PROLOG II pour la réalisation d'un système expert.	SPLT	1985	DBLP BibTeX RDF
1	Rene Quiniou, Laurent Trilling	Des primitives pour la synchronisation des branches OU. Un exemple d'application.	SPLT	1985	DBLP BibTeX RDF
1	D. Sciamma, X. Sola, Aristide Mégrelis	XLOG: types, fonctions et tableaux dans Prolog.	SPLT	1985	DBLP BibTeX RDF
1	Paul Y. Gloess	OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog.	SPLT	1985	DBLP BibTeX RDF
1	J. M. Jantke	Prolog et la Synergéthique.	SPLT	1985	DBLP BibTeX RDF
1	Y. C. Chan	FORTLOG = Fortran + Logique.	SPLT	1985	DBLP BibTeX RDF
1	Jean Rohmer, R. Lescoeur, D. Sciamma	BOOMRANG et ALEXANDRE ou "Comment aller de l'avant en arrière et vice-versa".	SPLT	1985	DBLP BibTeX RDF
1	Pierre Deransart, Gérard Ferrand	Détection d'erreurs en programmation en logique.	SPLT	1985	DBLP BibTeX RDF
1	Michel Billaud	Formalisation des structures de contrôle de PROLOG.	SPLT	1985	DBLP BibTeX RDF
1	Hervé Kauffmann, Alain Grumbach	Mondes et programmation en logique.	SPLT	1985	DBLP BibTeX RDF
1	Farid Ouabdesselam	Prolog avec égalité.	SPLT	1985	DBLP BibTeX RDF
1	Pascal Yim	Transformation d'un programme algorithmique en programme Prolog.	SPLT	1985	DBLP BibTeX RDF
1	Philippe Besnard	Sur la détection des boucles infinies en programmation en logique.	SPLT	1985	DBLP BibTeX RDF
1	P. Clere	Architecture de l'unité de calcul symbolique de MAIA.	SPLT	1985	DBLP BibTeX RDF
1	Christian Percebois, Irène Durand, Catherine Simon	COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog.	SPLT	1985	DBLP BibTeX RDF
1	Olivier Oudot	STARLOG: une nouvelle interprétation des clauses de Horn.	SPLT	1985	DBLP BibTeX RDF
1	Béatrice Duval, J. Y. Cras	Une solution Prolog au problème de Schubert.	SPLT	1985	DBLP BibTeX RDF
1	Abderrahmane Aggoun, Serge Bourgault	SYNTHEX: un système expert pour la synthèse vocale à partir du texte.	SPLT	1984	DBLP BibTeX RDF
1	Christiane Massoutie, Patrick Sallé	Une autre interprétation top down des clauses de Horn: interface avec une base de données.	SPLT	1984	DBLP BibTeX RDF
1	V. Granger, Patrick Saint-Dizier	Correction de fautes de grammaire et génération de langage naturel en PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	Patrice Boizumault	Un modèle de trace pour PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	Celestin Sedogbo	PROLOG et le traitement sémantique des langues naturelles.	SPLT	1984	DBLP BibTeX RDF
1	Michel Rueher	La programmation logique: un outil pour l'aide à la formulation du raisonnement.	SPLT	1984	DBLP BibTeX RDF
1	Pierre Deransart, Jan Maluszynski	Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.	SPLT	1984	DBLP BibTeX RDF
1	Mehmet Dincbas (eds.)	SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France	SPLT	1984	DBLP BibTeX RDF
1	Paul Y. Gloess	LOGIS, un système PROLOG dans un environnement LISP.	SPLT	1984	DBLP BibTeX RDF
1	Jean-François Monin	Ecriture d'un compilateur "réel" en PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	Mireille Ducassé, J. Faget, Alain Grumbach	A propos du mariage LISP-PROLOG: les bases du langage FROG.	SPLT	1984	DBLP BibTeX RDF
1	Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro	Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	A. Lartigue, Christian Percebois	Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	Rene Quiniou	Analyse ascendante d'une grammaire de Montague en PROLOG.	SPLT	1984	DBLP BibTeX RDF
1	Jean-Jacques Chabrier, J. Durand	Une strategie de réécriture pour les programmes logiques.	SPLT	1984	DBLP BibTeX RDF
1	B. Clavieras, Yves Kodratoff	Logique et apprentissage.	SPLT	1984	DBLP BibTeX RDF
1	Michèle Courant, Sophie Robin, Laurent Trilling	Un système de traitement de petites annonces.	SPLT	1984	DBLP BibTeX RDF
1	Aristide Mégrelis, D. Sciamma, T. Banel	Premières mesures sur l'interpréteur de PROLOG II.	SPLT	1984	DBLP BibTeX RDF

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