JFPLC 2001: Paris, France

Philippe Codognet (Ed.): Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris. Hermes 2001, ISBN 2-7462-0255-7

CSP

Christian Bessière, Jean-Charles Régin: Refining the Basic Constraint Propagation Algorithm. 13-26
Marc R. C. van Dongen: A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms. 27-42
Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara: An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks. 43-58

Programmation par contraintes I

Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling: Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage. 59-74
Brahim Hnich, Pierre Flener: High-Level Reformulation of Constraint Programs. 75-90
Charlotte Truchet, Carlos Agon, Gérard Assayag: Recherche adaptative et contraintes musicales. 91-108

Logique

Gilles Audemard, Belaid Benhamou: Etude des symétries dans les modèles finis. 109-122
Satoshi Matsuoka: A Confluent Extension of Lafont's Interaction Nets. 123-138
Areski Nait Abdallah: Optimal models and optimal trajectories in logical dynamics. 139-156

Distribution et concurrence

Nicolas Romero: Programmation concurrente par contraintes explicitement répartie. 157-172
Cyril Terrioux: Recherche coopérative et Nogood Recording. 173-188
Abdelfettah Hasbani, Olivier Guinaldo: Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents. 189-206

Programmation par contraintes II

Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou: Amélioration de la complexité des kB-consistances. 207-222
Emmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. 223-238
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Parametric Descriptive Types for CLP. 239-256

Environnements et validation

AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha: HyperPro: Un environment intégré de documentation pour la PLC. 257-270
Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet: cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog. 271-286
Sorin Craciunescu: Preuves de programmes logiques par induction et coinduction. 287-

Last update Thu May 23 17:36:25 2013 CET by the DBLP Team —

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