JFPLC 1996: Clermont-Ferrand, France

Jean-Louis Imbert (Ed.): JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France. Hermes 1996, ISBN 2-86601-544-4

Conférence invitée

Olivier Baby, Jacques Cohen: Analyse de l'ADN: une approche multipasse à base de contraintes. 9-

Bases de données

Jean-François Boulicaut, Christophe Rigotti: Abduction et déduction de structures d'objets: une intégration multiparadigmes. 17-32
Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos: Point fixe alterné et bases de données Datalog étendues. 33-48
Nicolas Spyratos, Daniel Stamate: Bases de données avec informations incertaines. Sémantique et mises à jour. 49-

Sémantique

Alexandre Tessier: Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. 65-82
Arnaud Lallouet: Une notion de composant logiciel en programmation logique. 83-98
Bernard Malfon: Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. 99-

Parallélisme, concurrence

Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. 115-130
Eric Morel, Jacques Briat, Jacques Chassin de Kergommeaux: PloSys: parallélisme OU et effets de bords sur système parallèle sans mémoire commune. 131-

Applications industrielles de la programmation par contraintes

Abderrahmane Aggoun, M. Cabassa, Philippe Charlier, F. Decès: Exemples d'applications de CHIP dans le domaine industriel. 147-152
Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker: Construire des applications interactives d'optimisation avec la programmation par contraintes. 153-
Eric Vétillard: Applications de la programmation logique avec contraintes aux problèmes de transport. 155-

Contraintes I

Sébastien Hoarau, Frédéric Mesnard: PLC(Bool) pour la détection de variables numériques bornées. 169-184
Nicolas Singer: Elimination incrémentale de variables en PLC. 185-198
Vincent Schächter: CC et intervalles de tâches. 199-

Conférence invitée

Odile Papini: Révision des connaissances. 215-

Contraintes II

Narendra Jussien, Patrice Boizumault: Maintien de déduction pour la relaxation de contraintes. 239-254
Eric Boucher, Bruno Legeard: Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. 255-

Résolution

Olivier Roussel, Philippe Mathieu: Une nouvelle méthode de compilation logique: l'achèvement par cycles. 271-286
Karine Liogier: Système général de contraintes avec négation. 287-

Last update Wed May 22 16:04:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page