JFPLC 97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France - researchr publication

researchr

You are not signed in
Sign in
Sign up

Frédéric Benhamou, editor, JFPLC 97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France. Hermes, 1997.

Conference: jfplc1997

Abstract is missing.

Constraint programming for concurrent and distributed computingCatuscia Palamidessi. 11

MixLog: a generalized rule-based languageDonald A. Smith. 21-36

Un langage distribué concurrent avec contraintesJean-Hugues Réty. 37-52

DP-LOG: un langage logique data-parallèleArnaud Lallouet. 53

Canonical extensions as common basis for interval constraints and interval arithmeticMaarten H. van Emden. 71-84

Négation constructive et modèles bivaluésKarine Liogier. 85-100

Computing stable models of datalog programs with negationViet Phan Luong. 101

Optimisation par hybridation d un CSP avec un algorithme génétiqueNicolas Barnier, Pascal Brisset. 119-132

Backtrack dynamique valuéPierre Dago. 133-148

Stratégies en meilleur d abord pour la relaxation de contraintesNarendra Jussien, Patrice Boizumault. 149

Bounds and adjustments associated with the Pm/r::i::, q::i::/Cmax scheduling problemJacques Carlier, Eric Pinson. 169

Procédure exacte d optimisation dans le paradigme de la programmation logique avec contraintes ensemblistesEric Boucher, Bruno Legeard. 179-194

Transformations symboliques et consistance de bloc de CSP continusLaurent Granvilliers. 195-210

Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiersChristine Solnon. 211

L environnement de programmation par contraintes CHIP dans l industrieAbderrahmane Aggoun. 229-230

Gymnaste ou l informatisation des plannings des personnels dans l unité de soins: un défi technique et sociologiqueGeorges Weil, Kamel Heus, Patrice François. 231-234

Prolog IV ou la programmation par contraintes selon PrologIAStéphane N Dong. 235

Unification and resolution in retrospectJohn Alan Robinson. 241

Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintesJean-Michel Richer, Jean-Jacques Chabrier. 245-260

Une compilation logique exacte en calcul des prédicats: le cas de l achèvement partielOlivier Roussel, Philippe Mathieu. 261-276

Formalisation de la SLD-résolution dans le calcul des constructions inductivesMathieu Jaume. 277

runs on WebDSL