default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLT 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
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.
last updated on 2025-02-15 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
