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 BibTeX
@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
Session 5:
Bases de données
Session 6:
Résolution
Applications
Prototypes
- Étienne Loiez:
Programme de diagnostic de circuits électroniques.
325- BibTeX
- Luc Haudot, Marc Sicard, Patrick Esquirol, Pierre Lopez:
Approche par contraintes : application à un problème de gestion de production.
329- BibTeX
- Eric Vétillard:
Vérification de déclarations en programmation logique avec contraintes.
333-335 BibTeX
- Fabrice Ambert, Bruno Legeard, Hamza Zidoum:
CLPS : un langage de PLC ensembliste.
337-340 BibTeX
- 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 BibTeX
- Arnaud Lefort, Pascal Yim:
MINOS: Analyse et Simulation d'Hypernets.
345- BibTeX
- Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler:
The theorem prover SATCHMO : strategies, heuristics and applications.
349- BibTeX
- Miguel-Angel Oros, Paul Y. Gloess:
Concept : a system for deriving datalog inheritance.
353-356 BibTeX
- Philippe Codognet, Daniel Diaz:
The clp(FD) system.
357-360 BibTeX
- Jacqueline Chabrier, Vincent Juliard, Jean-Michel Richer:
SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés.
361-364 BibTeX
- Christophe Varnier, Pierre Baptiste, Bruno Legeard:
Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface.
365-368 BibTeX
- Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li:
U-Log = datalog + constraints.
369-372 BibTeX
- Philippe Marti:
Une implémentation d'un système coopératif pour la résolution de contraintes sur les réels.
373-376 BibTeX
- Carmen Gervet:
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles.
377-380 BibTeX
- Nourredine Bensaid, Philippe Mathieu:
Un modèle d'architecture multi-agents entièrement écrit en Prolog.
381-385 BibTeX
- Patrick Bellot, Olivier Camp, Christophe Matiachoff:
An Overview of MILES and its constraint solving mechanism.
387-390 BibTeX
- 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 BibTeX
- Pascal Yim:
SetX2 : un langage logico-fonctionnel ensembliste.
397-399 BibTeX
- Cyrille Desmoulins:
TALC : un tuteur pour la construction de figures géométriques logiquement correctes.
401-404 BibTeX
- Vincent Berry, Philippe Ézéquel:
Évaluation répartie asynchrone de (certaines) requêtes DATALOG.
405-407 BibTeX
- Touraïvane:
Deux applications de la programmation logique avec contraintes.
409-412 BibTeX
- Christine Roblot:
Un langage de programmation en logique propositionnelle basé sur des techniques de réécriture.
413-416 BibTeX
- Sylvain Laduguie, Olivier Decroux, Cyril Tripier:
Optimisation de découpe tridimensionnelle dans un processus de transformation du bois.
419-421 BibTeX
- Fabien Narp, Marc Vondracek, Dominique Guinaudeau:
ELyCe: Calcul d'emploi du temps lycée et collège.
423-426 BibTeX
Conference invitées
Tutorial
Copyright © Sat May 16 23:27:41 2009
by Michael Ley (ley@uni-trier.de)