![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
SPLT 1984: Plestin-les-Grèves, France
- Mehmet Dincbas:
SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France. 1984
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. SPLT 1984 - A. Lartigue, Christian Percebois:
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. SPLT 1984 - Aristide Mégrelis, D. Sciamma, T. Banel:
Premières mesures sur l'interpréteur de PROLOG II. SPLT 1984 - Patrice Boizumault:
Un modèle de trace pour PROLOG. SPLT 1984
PROLOG et Bases de Données
- Gia Toan Nguyen, Judith Olivares, P. Winninger:
Coopération de PROLOG et d'un SGBD généralisé: principes et applications. SPLT 1984 - Christiane Massoutie, Patrick Sallé:
Une autre interprétation top down des clauses de Horn: interface avec une base de données. SPLT 1984 - Jean Rohmer:
MULTISCHUSS: une architecture parallèle pour les bases de connaissances et la logique. SPLT 1984
Langage naturel
- Celestin Sedogbo:
PROLOG et le traitement sémantique des langues naturelles. SPLT 1984 - Simon Sabbagh:
Traduction sémantique à l'aide de grammaires logiques. SPLT 1984 - V. Granger, Patrick Saint-Dizier:
Correction de fautes de grammaire et génération de langage naturel en PROLOG. SPLT 1984 - Rene Quiniou:
Analyse ascendante d'une grammaire de Montague en PROLOG. SPLT 1984
Systèmes experts
- Michèle Courant, Sophie Robin, Laurent Trilling:
Un système de traitement de petites annonces. SPLT 1984 - Abderrahmane Aggoun, Serge Bourgault:
SYNTHEX: un système expert pour la synthèse vocale à partir du texte. SPLT 1984 - Michel Rueher:
La programmation logique: un outil pour l'aide à la formulation du raisonnement. SPLT 1984
PROLOG et LISP
- Paul Y. Gloess:
LOGIS, un système PROLOG dans un environnement LISP. SPLT 1984 - Mireille Ducassé, J. Faget, Alain Grumbach:
A propos du mariage LISP-PROLOG: les bases du langage FROG. SPLT 1984
Sémantique des programmes logiques
- Jean-Jacques Chabrier, J. Durand:
Une strategie de réécriture pour les programmes logiques. SPLT 1984 - Pierre Deransart, Jan Maluszynski:
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT 1984
Applications
- B. Clavieras, Yves Kodratoff:
Logique et apprentissage. SPLT 1984 - Jean-François Monin:
Ecriture d'un compilateur "réel" en PROLOG. SPLT 1984
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.