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 BibTeX

@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. BibTeX
Charlotte Truchet: Programmation par contraintes et composition musicale. BibTeX

Environnements

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

Contraintes

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

Extensions

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

Contraintes

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