default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/jfplc/jfplc1987.bht:"
download as .bib file
@inproceedings{DBLP:conf/jfplc/AggounCLR87,
author = {Abderrahmane Aggoun and
J. Y. Charpentier and
J. P. Lepape and
D. Ranson},
title = {Compilation de Prolog sur une machine de traitement symbolique},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {225--244},
year = {1987},
timestamp = {Tue, 20 Jul 2004 14:26:49 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/AggounCLR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Arango87,
author = {Gustavo Arango},
title = {Prolog est-il un outil id{\'{e}}al pour la construction de prototypes?},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {211},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Arango87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ArnouxBT87,
author = {M. Arnoux and
G. Becker and
M. C. Thomas},
title = {Un syst{\`{e}}me de frames expertes en Prolog},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {507},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/ArnouxBT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Belkhiri87,
author = {A. Belkhiri},
title = {Une technique de backtracking intelligent, bas{\'{e}}e sur un
algorithme d'unification {\'{e}}tendu et sur la datation du processus
de r{\'{e}}solution},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {307},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Belkhiri87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/BuelinckxFF87,
author = {Hendrika Buelinckx and
Ph. Francois and
M. Fregier},
title = {Une impl{\'{e}}mentation de grammaire de forme en Prolog {II}},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {173--184},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/BuelinckxFF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ChanDE87,
author = {David Chan and
Pierre Dufresne and
Reinhard Enders},
title = {{PHOCUS:} Production rules, Horn clauses, Objects and Contexts in
a Unification-based System},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {77--108},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/ChanDE87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ChevalierHR87,
author = {Louis Chevalier and
Serge Le Huitouze and
Olivier Ridoux},
title = {Style de programmation pour une machine de programmation logique munie
d'un r{\'{e}}cup{\'{e}}rateur de m{\'{e}}moire},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {245},
year = {1987},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfplc/ChevalierHR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Codognet87,
author = {Philippe Codognet},
title = {Programmation logique parall{\`{e}}le 87},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {411--440},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Codognet87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Conrad87,
author = {Thierry Conrad},
title = {Termes typ{\'{e}}s et termes globaux en Prolog},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {119--130},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Conrad87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Delahaye87,
author = {Jean{-}Paul Delahaye},
title = {Diff{\'{e}}rences entre la s{\'{e}}mantique d{\'{e}}clarative
et la s{\'{e}}mantique proc{\'{e}}durale d'un programme
Prolog avec coupe-choix},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {285--306},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Delahaye87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Deransart87,
author = {Pierre Deransart},
title = {Preuves de correction partielle des programmes logiques},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {29},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Deransart87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DeransartMR87,
author = {Pierre Deransart and
C. Moss and
G. Richard},
title = {Sp{\'{e}}cification formelle de Prolog standard},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {455},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DeransartMR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DewezM87,
author = {Louis Dewez and
E. Mafety},
title = {Modulog "isa" Prolog},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {141},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DewezM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ElboussarghiniH87,
author = {R. Elboussarghini and
D. Herman},
title = {Interpr{\'{e}}tation parall{\`{e}}le de Prolog et Bases de donn{\'{e}}es:
Une application de l'algorithme de jointure par tri et composition},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {441},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/ElboussarghiniH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Ferrand87,
author = {G{\'{e}}rard Ferrand},
title = {Une reconstruction de la programmation en logique avec n{\'{e}}gation},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {7--28},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Ferrand87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Fribourg87,
author = {Laurent Fribourg},
title = {List concatenation via extended unification},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {45--58},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Fribourg87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Fumeron87,
author = {J. Fumeron},
title = {De Prolog {\`{a}} Bull-Oasis: connaissances et r{\'{e}}solution
{\`{a}} vocation industrielle},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {185--210},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Fumeron87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Gandilhon87,
author = {Thierry Gandilhon},
title = {Proposition d'une extension objet minimale pour Prolog},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {483--506},
year = {1987},
timestamp = {Thu, 22 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Gandilhon87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/GloessN87,
author = {Paul Y. Gloess and
Dung T. Nguyen},
title = {Exploitation pr{\'{e}}dictive de grammaires de m{\'{e}}tamorphose
par une extension de la logique de Prolog},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {109--118},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/GloessN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Legrand87,
author = {Remi Legrand},
title = {Le calcul relationnel au service de l'implantation d'un langage de
programmation logique},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {333},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Legrand87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LepapeBR87,
author = {J. P. Lepape and
Serge Bourgault and
D. Ranson},
title = {{LISLOG-C:} Une premi{\`{e}}re {\'{e}}tape vers l'expression
g{\'{e}}n{\'{e}}ralis{\'{e}}e des contraintes en programmation
en logique},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {59--76},
year = {1987},
timestamp = {Mon, 06 Sep 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/LepapeBR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LepapeSA87,
author = {Brice Lepape and
M. Sellami and
J. P. Aubert},
title = {Banc d'essai pour les principales versions de Prolog. R{\'{e}}alisation
et mesures de performances},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {529},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/LepapeSA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Mhamedi87,
author = {A. El Mhamedi},
title = {Interface Prolog-Graphique},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {379--390},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Mhamedi87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/MoninB87,
author = {Jean{-}Fran{\c{c}}ois Monin and
E. Barrielle},
title = {Est-ce que Prolog sait lire?},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {131--140},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/MoninB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Nicolas87,
author = {Jean{-}Marie Nicolas},
title = {Sur l'int{\'{e}}gration des technologies {IA} et {BD}},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {545},
year = {1987},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Nicolas87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Pelhat87,
author = {S. Pelhat},
title = {Les boucles dans Prolog: structures et origines},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {153},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Pelhat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Pugin87,
author = {Jean{-}Marc Pugin},
title = {Using integrity constraints to control hypotheses formation},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {359},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Pugin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Saurel87,
author = {Claire Saurel},
title = {{EXPLINEG1:} Une m{\'{e}}thode de g{\'{e}}n{\'{e}}ration
d'explications n{\'{e}}gatives dans les syst{\`{e}}mes {\`{a}}
base de connaissances formalis{\'{e}}es en logique des pr{\'{e}}dicats},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {347--358},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Saurel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/SedogboG87,
author = {Celestin Sedogbo and
Franz Guenthner},
title = {Some remarks on the treatment of errors in natural language processing
systems},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {391},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/SedogboG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/TarebK87,
author = {Nadya Tareb and
Yves Kodratoff},
title = {Synth{\`{e}}se de sp{\'{e}}cifications {\`{a}} partir de programmes},
booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
pages = {265},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/TarebK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/1987,
title = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
1987, Tr{\'{e}}gastel, France},
year = {1987},
timestamp = {Tue, 20 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-12-02 00:18 CET from data curated 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:
