default search action
JFPLC 1996: Clermont-Ferrand, France
- Jean-Louis Imbert:
JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France. Hermes 1996, ISBN 2-86601-544-4
Conférence invitée
- Olivier Baby, Jacques Cohen:
Analyse de l'ADN: une approche multipasse à base de contraintes. JFPLC 1996: 9-
Bases de données
- Jean-François Boulicaut, Christophe Rigotti:
Abduction et déduction de structures d'objets: une intégration multiparadigmes. JFPLC 1996: 17-32 - Mirian Halfeld Ferrari Alves, Synnöve Kekkonen-Moneta, Dominique Laurent, Nicolas Spyratos:
Point fixe alterné et bases de données Datalog étendues. JFPLC 1996: 33-48 - Nicolas Spyratos, Daniel Stamate:
Bases de données avec informations incertaines. Sémantique et mises à jour. JFPLC 1996: 49-
Sémantique
- Alexandre Tessier:
Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes. JFPLC 1996: 65-82 - Arnaud Lallouet:
Une notion de composant logiciel en programmation logique. JFPLC 1996: 83-98 - Bernard Malfon:
Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. JFPLC 1996: 99-
Parallélisme, concurrence
- Pascal Chambre, Pierre Deransart, Jan Maluszynski:
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 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. JFPLC 1996: 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. JFPLC 1996: 147-152 - Henri Beringer, Daniel Godard, André Guillaud, Ulrich Junker:
Construire des applications interactives d'optimisation avec la programmation par contraintes. JFPLC 1996: 153- - Eric Vétillard:
Applications de la programmation logique avec contraintes aux problèmes de transport. JFPLC 1996: 155-
Contraintes I
- Sébastien Hoarau, Frédéric Mesnard:
PLC(Bool) pour la détection de variables numériques bornées. JFPLC 1996: 169-184 - Nicolas Singer:
Elimination incrémentale de variables en PLC. JFPLC 1996: 185-198 - Vincent Schächter:
CC et intervalles de tâches. JFPLC 1996: 199-
Conférence invitée
- Odile Papini:
Révision des connaissances. JFPLC 1996: 215-
Contraintes II
- Narendra Jussien, Patrice Boizumault:
Maintien de déduction pour la relaxation de contraintes. JFPLC 1996: 239-254 - Eric Boucher, Bruno Legeard:
Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. JFPLC 1996: 255-
Résolution
- Olivier Roussel, Philippe Mathieu:
Une nouvelle méthode de compilation logique: l'achèvement par cycles. JFPLC 1996: 271-286 - Karine Liogier:
Système général de contraintes avec négation. JFPLC 1996: 287-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: