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

Mehmet Dincbas (Ed.): SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France. 1984

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

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.
Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données.
J. Rohmer: MULTISCHUSS: une architecture parallèle pour les bases de connaissances et la logique.

Langage naturel

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

Systèmes experts

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

PROLOG et LISP

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

Sémantique des programmes logiques

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

Applications

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

Last update Mon Feb 13 04:36:18 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page