Programmation en logique avec contraintes - Michel Rueher - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Programmation en logique avec contraintes
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Programmation en logique avec contraintes

Programmation en logique avec contraintes

Michel Rueher

306 pages, parution le 16/05/2002

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.

Sommaire
  • 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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription