JFPLC 2000: Marseille, France

@proceedings{DBLP:conf/jfplc/2000,
  editor    = {Toura\"{\i}vane},
  title     = {Programmation en logique avec contraintes, JFPLC 2000, 28-30
               Juin 2000, Marseille, France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {2000},
  isbn      = {2-7462-0147-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Bioinformatique

• David Gilbert: Tutoriel I: Bioinformatique et contraintes. 13-

Sémantique

• Julien Arsouze, Gérard Ferrand, Arnaud Lallouet: Une sémantique co-inductive pour la propagation de contraintes et de labeling. 17-32
• Mathieu Jaume: Preuves infinies en Programmation logique. 33-48
• Pierre Deransart, Jan-Georg Smaus: Les programmes bien typés ont tout bon. 49-66
• Erwan Jahier, Mireille Ducassé, Olivier Ridoux: Spécification de modèles de traces à l'aide d'une sémantique par continuations. 67-84
• Jean-Yves Girard: Conférénce invitée: Négation et dualité en programmation logique. 85-

Contraintes I

• Thom W. Frühwirth: Predicting Derivation Lengths in Rule-based Constraint Programs. 89-108
• Laurent Granvilliers, Eric Monfroy: Modélisation déclarative de stratégies de propagation de contraintes. 109-124
• Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py: Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. 125-144
• Alain Colmerauer: Conférence invitée: Négation et quantification dans les contraintes. 145-

Applications

• Nicolas Barnier, Pascal Brisset: Allocation de créneaux pour la régulation du trafic aérien. 149-164
• David Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon: Une technique déclarative pour filtrer des motifs topologiques de protéines. 165-

Contraintes II

• Christine Solnon: Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles. 189-204
• Martine Ceberio, Laurent Granvilliers: Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. 205-220
• Leszek Pacholski: Tutoriel II: Is it difficult to solve equations in the algebra of words. 221-

Langages et Extensions

• Thi-Bich-Hanh Dao: Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis. 225-240
• Frédéric Mesnard, Antoine Rauzy: Le iota-calcul: un langage de contraintes d'ordre supérieur. 241-

Bases de données déductives

• Yann Loyer, Nicolas Spyratos, Daniel Stamate: Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs. 265-