Programmation en logique avec contraintes (Actes des JFPLC 2004 : 21 au 23 juin 2004 Angers, France)

Auteur :

Langue : Français

105,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Ouvrage 288 p. · 16x24 cm · Broché
La programmation en logique avec contraintes (PLC) 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écommunication. Cet ouvrage regroupe les contributions sélectionnées et présentées aux treizièmes journées francophones de programmation logique et programmation par contraintes (JFPLC 2004).
Présentations invitées. PROB : un outil de modélisation formelle -M. LEUSCHEL>/I>. Programmation par contraintes et composition musicale -C. TRUCHET>/I>. Environnements. Un pilote de traceur pour la PLC -L. LANGEVINE, M. DUCASSE>/I>. Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis -G. FERRAND, W. LESAINT, A. TESSIER>/I>. Inférence de non-terminaison pour les programmes logiques avec contraintes -E. PAYET, F. MESNARD>/I>. Contraintes. La contrainte période -N. BELDICEANU, E. PODER>/I>. Une contrainte globale pour le problème de l'isomorphisme des graphes -S. SORLIN, C. SOLNON>/I>. Recherche de chemins contraints dans les réseaux biochimiques -G. DOOMS, Y. DEVILLE, P. DUPONT>/I>. Contribution aux techniques de satisfaction de contraintes par combinaisons de termes non linéaires -L. GRANDVILLIERS, M. OUABIBA>/I>. Extensions. Implantation de grammaires de propriétés en CHR -V. DAHL, P. BLACHE>/I>. Programmation par ensembles-réponses possibilistes -P. NICOLAS, L. GARCIA, I. STEPHAN>/I>. Xcerpt et visXcerpt : langages déductifs d'interrogation du web -S. BERGER, F. BRY, S. SCHAFFERT. Pi-calcul et LCC, une odyssée de l'espace -S. SOLIMAN. Contraintes. Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale -H. DELEAU, T. LAMBERT, E. MONFROY, F. SAUBION>/I>. Algorithmes complets et incomplets pour la coloration des graphes de reines -M. VASQUEZ, D. HABET. Recherche locale dichotomique pour la résolution du CSP continus -V. BARICHARD, J.-K. HAO>/I>. Une représentation déclarative des consistances de CSPs -G. FERRAND, A. LALLOUET>/I>. Application des techniques de CSPs pour la configuration d'un process de traitement thermique -E. VAREILLES, M. ALDANONDO, K. HADI-HAMOU, P. GABORIT>/I>.