JFPLC 1996: Clermont-Ferrand, France

@proceedings{DBLP:conf/jfplc/1996,
  editor    = {Jean-Louis Imbert},
  title     = {JFPLC'96, Cinqui{\`e}mes Journ{\'e}es Francophones de Programmation
               Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
               France},
  booktitle = {JFPLC},
  publisher = {Hermes},
  year      = {1996},
  isbn      = {2-86601-544-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Conférence invitée

• Olivier Baby, Jacques Cohen: Analyse de l'ADN: une approche multipasse à base de contraintes. 9-

Bases de données

• Jean-François Boulicaut, Christophe Rigotti: Abduction et déduction de structures d'objets: une intégration multiparadigmes. 17-32
• Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos: Point fixe alterné et bases de données Datalog étendues. 33-48
• Nicolas Spyratos, Daniel Stamate: Bases de données avec informations incertaines. Sémantique et mises à jour. 49-

Sémantique

• Alexandre Tessier: Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. 65-82
• Arnaud Lallouet: Une notion de composant logiciel en programmation logique. 83-98
• Bernard Malfon: Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. 99-

Parallélisme, concurrence

• Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. 115-130
• Eric Morel, Jacques Briat, Jacques Chassin de Kergommeaux: PloSys: parallélisme OU et effets de bords sur système parallèle sans mémoire commune. 131-

Applications industrielles de la programmation par contraintes

• Abderrahmane Aggoun, M. Cabassa, Philippe Charlier, F. Decès: Exemples d'applications de CHIP dans le domaine industriel. 147-152
• Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker: Construire des applications interactives d'optimisation avec la programmation par contraintes. 153-
• Eric Vétillard: Applications de la programmation logique avec contraintes aux problèmes de transport. 155-

Contraintes I

• Sébastien Hoarau, Frédéric Mesnard: PLC(Bool) pour la détection de variables numériques bornées. 169-184
• Nicolas Singer: Elimination incrémentale de variables en PLC. 185-198
• Vincent Schächter: CC et intervalles de tâches. 199-

Conférence invitée

• Odile Papini: Révision des connaissances. 215-

Contraintes II

• Narendra Jussien, Patrice Boizumault: Maintien de déduction pour la relaxation de contraintes. 239-254
• Eric Boucher, Bruno Legeard: Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. 255-

Résolution

• Olivier Roussel, Philippe Mathieu: Une nouvelle méthode de compilation logique: l'achèvement par cycles. 271-286
• Karine Liogier: Système général de contraintes avec négation. 287-