Préface.................................................................................................................. 7

Conférence invitée

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


Bases de données

Abduction et déduction de structures d'objets : une intégration multiparadigmes
Jean-François Boulicaut, Christophe Rigotti................................................. 17

Point fixe alterné et bases de données Datalog~. étendues
Mirian Halfeld Ferrari Alves, Synnove Kekkonen, Dominique Laurent,
Nicolas Spyratos.............................................................................................. 33

Bases de données avec informations incertaines. Sémantique et mises à jour
Nicolas Spyratos, D. Stamate................................................


Sémantique .

Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes
Alexandre Tessier............................................................................................ 65

Une notion de composant logiciel en programmation logique
Arnaud Lalllouet ......................................................................................... 83

Quelques modèles quadrivalués du complété. Application à des notions
déclaratives de symptôme et d'erreur
Bernard Malfon................................................................................................. 99


Parallélisme, concurrence

Un méthode de preuve pour programmes concurrents avec contraintes
sous forme clausale
Pascal Chambre, Pierre Deransart, Jan Maluszynski.................................... 115

PloSys: parallélisme OU et effets de bords sur système parallèle
sans mémoire commune
Eric Morel, Jacques Briat, Jacques Chassin de Kergommeaux..................... 131

Applications industrielles de la programmation par contraintes

Exemples d'applications de CHIP dans le domaine industriel
Abderrahmane Aggoun, M. Cabassa, Philippe Charlier, F.Deces................ 147


Construire des applications interactives d'optimisation avec
la programmation par contraintes
Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker ................... 153

Applications de la programmation logique avec contraintes
aux problèmes de transport
Eric Vétillard................................................................................................... 155


Contraintes I

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


Conférence invitée

Révision des connaissances
Odile Papini.................................................................................................... 215


Contraintes II

Maintien de déduction pour la relaxation de contraintes
Narendra Jussien, Patrice Boizumault............................................................ 239

Fonctions de voisinage progressives et admissibles pour
des méthodes d'optimisation en PLC sur séquences
Eric Bouchet, Bruno Legeard......................................................................... 255


Résolution

Une nouvelle méthode de compilation logique: l'achèvement par cycles
Olivier Roussel, Philippe Mathieu................................................................... 271

Système général de contraintes avec négation
Karine Liogier.................................................................................................. 287