JFPLC 1995:
Dijon,
France
Jean-Jacques Chabrier (Ed.):
JFPLC'95, IVèmes Journées Francophones de Programmation en Logique & Journée d'étude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France.
1995 
@proceedings{DBLP:conf/jfplc/1995,
editor = {Jean-Jacques Chabrier},
title = {JFPLC'95, IV{\`e}mes Journ{\'e}es Francophones de Programmation
en Logique {\&} Journ{\'e}e d'{\'e}tude Programmation
par Contraintes et applications industrielles, 17-19 mai 1995,
Dijon, France},
booktitle = {JFPLC},
year = {1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Contraintes
Session 2:
Sémantique
Session 3:
Extension
Session 4:
Bases de connaissances - Bases de données
- Olivier Roussel, Philippe Mathieu:
Évaluation des méthodes d'achèvement par parties.
175-189
- Cristian Papp:
Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases.
191-204
- Viet Phan Luong:
A mixed approach to negation in general datalog programs.
207-220
Session 5:
Bases de données
Session 6:
Résolution
Applications
Prototypes
- Étienne Loiez:
Programme de diagnostic de circuits électroniques.
325-
- Luc Haudot, Marc Sicard, Patrick Esquirol, Pierre Lopez:
Approche par contraintes : application à un problème de gestion de production.
329-
- Eric Vétillard:
Vérification de déclarations en programmation logique avec contraintes.
333-335
- Fabrice Ambert, Bruno Legeard, Hamza Zidoum:
CLPS : un langage de PLC ensembliste.
337-340
- Philippe Bonnet, Stéphane Bressan:
Démonstration du prototype Chimera : un système de Base de Données Déductif et Orienté Objet.
341-344
- Arnaud Lefort, Pascal Yim:
MINOS: Analyse et Simulation d'Hypernets.
345-
- Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler:
The theorem prover SATCHMO : strategies, heuristics and applications.
349-
- Miguel-Angel Oros, Paul Y. Gloess:
Concept : a system for deriving datalog inheritance.
353-356
- Philippe Codognet, Daniel Diaz:
The clp(FD) system.
357-360
- Jacqueline Chabrier, Vincent Juliard, Jean-Michel Richer:
SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés.
361-364
- Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface.
365-368
- Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li:
U-Log = datalog + constraints.
369-372
- Philippe Marti:
Une implémentation d'un système coopératif pour la résolution de contraintes sur les réels.
373-376
- Carmen Gervet:
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles.
377-380
- Nourredine Bensaid, Philippe Mathieu:
Un modèle d'architecture multi-agents entièrement écrit en Prolog.
381-385
- Patrick Bellot, Olivier Camp, Christophe Matiachoff:
An Overview of MILES and its constraint solving mechanism.
387-390
- Macaire Ngomo, Jean-Pierre Pécuchet, Abdenbi Drissi-Talbi:
Une approche déclarative et non déterministe de la programmation logique par objets mutables.
391-395
- Pascal Yim:
SetX2 : un langage logico-fonctionnel ensembliste.
397-399
- Cyrille Desmoulins:
TALC : un tuteur pour la construction de figures géométriques logiquement correctes.
401-404
- Vincent Berry, Philippe Ézéquel:
Évaluation répartie asynchrone de (certaines) requêtes DATALOG.
405-407
- Touraïvane:
Deux applications de la programmation logique avec contraintes.
409-412
- Christine Roblot:
Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture.
413-416
- Sylvain Laduguie, Olivier Decroux, Cyril Tripier:
Optimisation de découpe tridimensionnelle dans un processus de transformation du bois.
419-421
- Fabien Narp, Marc Vondracek, Dominique Guinaudeau:
ELyCe: Calcul d'emploi du temps lycée et collège.
423-426
Conference invitées
Tutorial
Copyright © Mon Nov 9 23:56:30 2009
by Michael Ley (ley@uni-trier.de)
