JFPLC 2004: Angers, France

Frédéric Mesnard (Ed.): Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes 2004, ISBN 2-7462-0937-3

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.
Élise Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit: Application des techniques CSP pour la configuration d'un process de traitement thermique.

Last update Tue May 21 17:38:12 2013 CET by the DBLP Team —

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