JFPLC 2000: Marseille, France

Touraïvane (Ed.): Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. Hermes 2000, ISBN 2-7462-0147-X BibTeX

@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- BibTeX

Sémantique

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

Contraintes I

Thom W. Frühwirth: Predicting Derivation Lengths in Rule-based Constraint Programs. 89-108 BibTeX
Laurent Granvilliers, Eric Monfroy: Modélisation déclarative de stratégies de propagation de contraintes. 109-124 BibTeX
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 BibTeX
Alain Colmerauer: Conférence invitée: Négation et quantification dans les contraintes. 145- BibTeX

Applications

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

Contraintes II

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

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 BibTeX
Frédéric Mesnard, Antoine Rauzy: Le iota-calcul: un langage de contraintes d'ordre supérieur. 241- BibTeX

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- BibTeX