Semirings for soft constraint solving and programming
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constraine...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science
2962 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Semirings for soft constraint solving and programming, Stefano Bistarelli, Berlin, Springer, 2004, 1 vol. (XII-279 p.), Lecture notes in computer science, 3-540-21181-0 • Semirings for Soft Constraint Solving and Programming, Texte imprimé, 9783662205198 |
| LEADER | 03666nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 970206 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155186418 | ||
| 020 | |a 9783540259251 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.11 | ||
| 100 | 1 | |a Bistarelli, Stefano. | |
| 245 | 1 | 0 | |a Semirings for soft constraint solving and programming |c Stefano Bistarelli. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2962 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks. This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques such as abstraction and interchangeability to the soft constraint framework and it is demonstrated how soft constraints can be used in some application areas, such as security. Overall, this book is a great starting point for anyone interested in understanding the basics of semiring-based soft constraints. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Programmation par contraintes | ||
| 776 | 0 | |0 076925412 |t Semirings for soft constraint solving and programming |f Stefano Bistarelli |c Berlin |n Springer |d 2004 |p 1 vol. (XII-279 p.) |s Lecture notes in computer science |z 3-540-21181-0 | |
| 776 | 0 | |t Semirings for Soft Constraint Solving and Programming |b Texte imprimé |z 9783662205198 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b95712 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MWJBQXSJ-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750665726 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b95712 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754014916 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b95712 |z Accès INSA CVL | |
| 997 | |0 970206 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||