Résumé
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
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Hermès - Lavoisier |
Auteur(s) | Michel Rueher |
Parution | 16/05/2002 |
Nb. de pages | 306 |
Format | 15,5 x 23,5 |
Couverture | Broché |
Poids | 483g |
Intérieur | Noir et Blanc |
EAN13 | 9782746204775 |
ISBN13 | 978-2-7462-0477-5 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse