LEADER 04649nam 22008175 450 001 996466051403316 005 20200706134010.0 010 $a1-280-30701-3 010 $a9786610307012 010 $a3-540-25925-2 024 7 $a10.1007/b95712 035 $a(CKB)1000000000016825 035 $a(DE-He213)978-3-540-25925-1 035 $a(SSID)ssj0000244065 035 $a(PQKBManifestationID)11226858 035 $a(PQKBTitleCode)TC0000244065 035 $a(PQKBWorkID)10164986 035 $a(PQKB)10423065 035 $a(MiAaPQ)EBC3087663 035 $a(PPN)155186418 035 $a(EXLCZ)991000000000016825 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSemirings for Soft Constraint Solving and Programming$b[electronic resource] /$fby Stefano Bistarelli 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 284 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2962 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21181-0 320 $aIncludes bibliographical references. 327 $a1. 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. 330 $aConstraint 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2962 606 $aAlgebra 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aArtificial intelligence 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aAlgebra. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aAlgebra. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.1/1 700 $aBistarelli$b Stefano$4aut$4http://id.loc.gov/vocabulary/relators/aut$0600492 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466051403316 996 $aSemirings for soft constraint solving and programming$91023382 997 $aUNISA