Abstract is missing.
- Analyse de l ADN: une approche multipasse à base de contraintesOlivier Baby, Jacques Cohen. 9
- Abduction et déduction de structures d objets: une intégration multiparadigmesJean-François Boulicaut, Christophe Rigotti. 17-32
- Point fixe alterné et bases de données Datalog étenduesMirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos. 33-48
- Bases de données avec informations incertaines. Sémantique et mises à jourNicolas Spyratos, Daniel Stamate. 49
- Diagnostic déclaratif d insuffisance en Programme logique avec contraintesAlexandre Tessier. 65-82
- Une notion de composant logiciel en programmation logiqueArnaud Lallouet. 83-98
- Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d erreurBernard Malfon. 99
- Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausalePascal Chambre, Pierre Deransart, Jan Maluszynski. 115-130
- PloSys: parallélisme OU et effets de bords sur système parallèle sans mémoire communeEric Morel, Jacques Briat, Jacques Chassin de Kergommeaux. 131
- Exemples d applications de CHIP dans le domaine industrielAbderrahmane Aggoun, M. Cabassa, Philippe Charlier, F. Decès. 147-152
- Construire des applications interactives d optimisation avec la programmation par contraintesHenri Beringer, Daniel Godard, André Guillaud, Ulrich Junker. 153
- Applications de la programmation logique avec contraintes aux problèmes de transportEric Vétillard. 155
- PLC(Bool) pour la détection de variables numériques bornéesSébastien Hoarau, Frédéric Mesnard. 169-184
- Elimination incrémentale de variables en PLCNicolas Singer. 185-198
- CC et intervalles de tâchesVincent Schächter. 199
- Révision des connaissancesOdile Papini. 215
- Maintien de déduction pour la relaxation de contraintesNarendra Jussien, Patrice Boizumault. 239-254
- Fonctions de voisinage progressives et admissibles pour des méthodes d optimisation en PLC sur séquencesEric Boucher, Bruno Legeard. 255
- Une nouvelle méthode de compilation logique: l achèvement par cyclesOlivier Roussel, Philippe Mathieu. 271-286
- Système général de contraintes avec négationKarine Liogier. 287