JFPLC 1997: Orléans, France

@proceedings{DBLP:conf/jfplc/1997,
  editor    = {Fr{\'e}d{\'e}ric Benhamou},
  title     = {JFPLC'97, Sixi{\`e}mes Journ{\'e}es Francophones de Programmation
               Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'e}ans,
               France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {1997},
  isbn      = {2-86601-614-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Conférence invitée

• Catuscia Palamidessi: Constraint programming for concurrent and distributed computing. 11- BibTeX

Langages et extensions

• Donald A. Smith: MixLog: a generalized rule-based language. 21-36 BibTeX
• Jean-Hugues Réty: Un langage distribué concurrent avec contraintes. 37-52 BibTeX
• Arnaud Lallouet: DP-LOG: un langage logique data-parallèle. 53- BibTeX

Sémantique

• Maarten H. van Emden: Canonical extensions as common basis for interval constraints and interval arithmetic. 71-84 BibTeX
• Karine Liogier: Négation constructive et modèles bivalués. 85-100 BibTeX
• Viet Phan Luong: Computing stable models of datalog programs with negation. 101- BibTeX

Problèmes de satisfaction de contraintes

• Nicolas Barnier, Pascal Brisset: Optimisation par hybridation d'un CSP avec un algorithme génétique. 119-132 BibTeX
• Pierre Dago: Backtrack dynamique valué. 133-148 BibTeX
• Narendra Jussien, Patrice Boizumault: Stratégies en meilleur d'abord pour la relaxation de contraintes. 149- BibTeX

Conférence invitée II

• Jacques Carlier, Eric Pinson: Bounds and adjustments associated with the Pm/r_i, q_i/Cmax scheduling problem. 169- BibTeX

Contraintes

• Eric Boucher, Bruno Legeard: Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. 179-194 BibTeX
• Laurent Granvilliers: Transformations symboliques et consistance de bloc de CSP continus. 195-210 BibTeX
• Christine Solnon: Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. 211- BibTeX

Session industrielle

• Abderrahmane Aggoun: L'environnement de programmation par contraintes CHIP dans l'industrie. 229-230 BibTeX
• Georges Weil, Kamel Heus, Patrice François: Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique. 231-234 BibTeX
• Stéphane N'Dong: Prolog IV ou la programmation par contraintes selon PrologIA. 235- BibTeX

Conference invitée III

• John Alan Robinson: Unification and resolution in retrospect. 241- BibTeX

Résolution et optimisation

• Jean-Michel Richer, Jean-Jacques Chabrier: Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. 245-260 BibTeX
• Olivier Roussel, Philippe Mathieu: Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. 261-276 BibTeX
• Mathieu Jaume: Formalisation de la SLD-résolution dans le calcul des constructions inductives. 277- BibTeX