SPLT 1984: Plestin-les-Grèves, France

@proceedings{DBLP:conf/jfplc/1984,
  editor    = {Mehmet Dincbas},
  title     = {SPLT'84, S{\'e}minaire Programmation en Logique, 25-27 avril
               1984, Plestin-les-Gr{\`e}ves, France},
  booktitle = {SPLT},
  year      = {1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Implémentation de PROLOG

• 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. BibTeX
• A. Lartigue, Christian Percebois: Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. BibTeX
• Aristide Mégrelis, D. Sciamma, T. Banel: Premières mesures sur l'interpréteur de PROLOG II. BibTeX
• Patrice Boizumault: Un modèle de trace pour PROLOG. BibTeX

PROLOG et Bases de Données

• Gia Toan Nguyen, J. Olivares, P. Winninger: Coopération de PROLOG et d'un SGBD généralisé: principes et applications. BibTeX
• Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données. BibTeX
• J. Rohmer: MULTISCHUSS: une architecture parallèle pour les bases de connaissances et la logique. BibTeX

Langage naturel

• Celestin Sedogbo: PROLOG et le traitement sémantique des langues naturelles. BibTeX
• Simon Sabbagh: Traduction sémantique à l'aide de grammaires logiques. BibTeX
• V. Granger, Patrick Saint-Dizier: Correction de fautes de grammaire et génération de langage naturel en PROLOG. BibTeX
• Rene Quiniou: Analyse ascendante d'une grammaire de Montague en PROLOG. BibTeX

Systèmes experts

• Michèle Courant, Sophie Robin, Laurent Trilling: Un système de traitement de petites annonces. BibTeX
• Abderrahmane Aggoun, S. Bourgault: SYNTHEX: un système expert pour la synthèse vocale à partir du texte. BibTeX
• Michel Rueher: La programmation logique: un outil pour l'aide à la formulation du raisonnement. BibTeX

PROLOG et LISP

• Paul Y. Gloess: LOGIS, un système PROLOG dans un environnement LISP. BibTeX
• Mireille Ducassé, J. Faget, Alain Grumbach: A propos du mariage LISP-PROLOG: les bases du langage FROG. BibTeX

Sémantique des programmes logiques

• Jean-Jacques Chabrier, J. Durand: Une strategie de réécriture pour les programmes logiques. BibTeX
• Pierre Deransart, Jan Maluszynski: Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. BibTeX

Applications

• B. Clavieras, Yves Kodratoff: Logique et apprentissage. BibTeX
• Jean-François Monin: Ecriture d'un compilateur "réel" en PROLOG. BibTeX