JFPLC'01

Programmation en logique avec contraintes est le recueil des contributions sélectionnées et présentées aux dixièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes (JFPLC'2001). Les thèmes principaux abordés cette année concernent les problèmes de satisfaction de contraintes, la programmation avec contraintes, la logique, les agents intelligents et les environnements de programmation.

Sommaire

Préface

CSP

• Refining the Basic Constraint Propagation Algorithm
  Christian BESSIERE (LIRMM, Montpellier, France), Jean-CharleS REGIN (ILOG, Valbonne, France)

• A Theoretical Analysis of the Average Time-Complexity of Domain
  Heuristics for Arc-Consistency Algorithms
  M. R. C. VAN DONGEN (University College Corke, Irlande)

• An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks
  Enhong CHEN, Zhenya ZHANG, Xufà WANG (USTC, Hefei, Chine), Kazuyuki AIHARA (Université de Tokyo et JST Crest, Saitarna, Japon)

Programmation par contraintes 1

• Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage
  Sébastien BUTHOD-GARCON (SPARFLEX, Epernay, France), Michel DUMOULIN, Laurent TRILLING (LSR-IMAG, Saint Martin d'Hères, France)

• High-Level Reformulation of Constraint Programs
  Brahim HNICH, Pierre FLENER (Uppsala University, Suède)

• Recherche adaptative et contraintes musicales
  Charlotte TRUCHET, Carlos AGON, Gérard ASSAYAG (IRCAM, Paris, France)

Logique

• Etude des symétries dans les modèles finis
  Gilles AUDEMARD, Belaid BENHAMOU (LIM, Marseille, France)

• A Confluent Extension of Lafont's Interaction Nets
  Satoshi MATSUOKA (NIT, Gokiso, Japon)

• Optimal models and optimal trajectories in logical dynamics
  Areski NAIT ABDALLAH (UWO, London, Canada)

Distribution et concurrence

• Progammation concurrente par contraintes explicitement répartie
  Nicolas ROMERO (LIFO, Orléans, France)

• Recherche coopérative et Nogood Recording
  Cyril TERRIOUX (LIM, Marseille, France)

• Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents
  Abdelfettah HASBANI, Olivier GUINALDO (LIMOS, Clermont-Ferrand, France)

Programmation par contraintes II

• Amélioration de la complexité des kB-consistances
  Lucas BORDEAUX, Eric MONFROY, Frédéric BENHAMOU (IRIN, Nantes, France)

• Programmes logiques avec contraintes typés
  Emmanuel COQUERY, François FAGES (INRIA-Rocquencourt, France)

• Parametric Descriptive Types for CLP
  W. DRABENT (ICS-PAS, Varsovie, Pologne), J. MALUSZYNSKI (Linköping University, Linköping, Suède), P. PIETRZAK (ICS-PUS, Posnan, Pologne)

Environnements et validation

• HyperPro : Un environnement intégré de documentation pour la PLC
  AbdelAli ED-DBALI (LIFO, Orléans, France), Pierre DERANSART (INRIA-Rocquencourt, France), Mariza A. S. BIGONHA, José DE SIQUEIRA, Roberto DA S. BiGONHA (UFMG, Belo-Horizonte, Brésil).

• cTI : un outil pour l'inférence de conditions optimales de terminaison pour Prolog
  Fred MESNARD (IREMIA, La Réunion, France), Ulrich NFUMERKEL (UTV, Vienne, Autriche), Etienne PAYET (IREMIA, La Réunion, France)

• Preuves de programmes logiques par induction et conduction
  Sorin CRACIUNESCU (INRIA-Rocquencourt, France)