JFPLC 2004: Angers, France

@proceedings{DBLP:conf/jfplc/2004,
  editor    = {Fr{\'e}d{\'e}ric Mesnard},
  title     = {Programmation en logique avec contraintes, JFPLC 2004, 21, 22
               et 23 Juin 2004, Angers, France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {2004},
  isbn      = {2-7462-0937-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Présentations Invitées

• Michael Leuschel: PROB: un outil de modélisation formelle.
• Charlotte Truchet: Programmation par contraintes et composition musicale.

Environnements

• Ludovic Langevine, Mireille Ducassé: Un pilote de traceur pour la PLC.
• Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.
• Étienne Payet, Frédéric Mesnard: Inférence de non-terminaison pour les programmes logiques avec contraintes.

Contraintes

• Nicolas Beldiceanu, Emmanuel Poder: La contrainte période.
• Sébastien Sorlin, Christine Solnon: Une contrainte globale pour le problème de l'isomorphisme de graphes.
• Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques.
• Laurent Granvilliers, Mina Ouabiba: Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.

Extensions

• Verónica Dahl, Philippe Blache: Implantation de grammaires de propriétés en CHR.
• Pascal Nicolas, Laurent Garcia, Igor Stéphan: Programmation par ensembles-réponses possibilistes.
• Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.
• Sylvain Soliman: Pi-calcul et LCC, une odyssée de l'espace.

Contraintes

• Hervé Deleau, Tony Lambert, Eric Monfroy, Frédéric Saubion: Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.
• Michel Vasquez, Djamal Habet: Algorithmes complet et incomplet pour la coloration des graphes de reines.
• Vincent Barichard, Jin-Kao Hao: Recherche locale dichotomique pour la résolution des CSP continus.
• Gérard Ferrand, Arnaud Lallouet: Une représentation déclarative des consistances de CSPs.
• E. Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit: Application des techniques CSP pour la configuration d'un process de traitement thermique.