Programmation en logique avec contraintes

La programmation en logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans les domaines de la logique, de la démonstration automatique, de la recherche opérationnelle et de l'intelligence artificielle. Les outils et langages de programmation issus de ces travaux connaissent un réel succès industriel car ils permettent de résoudre des problèmes difficiles dans des domaines aussi variés que la robotique, la planification de la production ou l'optimisation de réseaux de télécommunications.
Programmation en logique avec contraintes regroupe des contributions sélectionnées et présentées aux onzièmes Journées francophones de programmation logique et programmation par contraintes (JFPLC'2002).
Ces journées sont depuis une vingtaine d'années le rendez-vous annuel de la communauté francophone et permettent de faire le point sur les recherches récentes dans ces domaines. Les thèmes abordés cette année concernent les contraintes numériques, les problèmes de satisfaction de contraintes, la logique, l'analyse de programmes et les environnements de programmation.

• Papier invité
• Du filtrage optimal à la strabilité parfaite
• Contraintes numériques
• Raisonnement sur les propriétés de contraintes numériques
• Résolution de pronlèmes non-linéaires avec continuum de solutions
• Quelques applications de la propagation de contraintes
• Logique I
• Optimisation par colonies de fourmis
• Using automated induction-based theorem provers for reasoning about concurrent systems
• Non-termination inference for optimal termination conditions of logic programs
• Environnement
• Explications conviviales pour la programmation par contraintes
• Analyse automatisée de traces d'exécution de programmes CLP(FD)
• Prototypage de traceurs CLP(FD) : un modèle de trace et son expérimentation
• Applications
• Résolution d'un problème de conception de réseau avec Parallel Solver
• Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
• CSP
• Representation of soft constraints by hard constraints
• Amortized Non-Systematic Search Algorithms
• Logique D
• Généralisations correctes pour l'induction mathématique
• Découverte de lemmes par instanciation de métavariables
• Réécriture de programmes C-- en équations logiques
• Analyse de programmes
• Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers
• Surcharge et sous-typage dans TCLP
• Arbre d'itérations chaotiques pour décrire la résolution des CSP
• Index des auteurs