000 03600nam a22006255i 4500
001 978-3-540-25925-1
003 DE-He213
005 20240423125653.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540259251
_9978-3-540-25925-1
024 7 _a10.1007/b95712
_2doi
050 4 _aQA150-272
072 7 _aPBF
_2bicssc
072 7 _aMAT002000
_2bisacsh
072 7 _aPBF
_2thema
082 0 4 _a512
_223
100 1 _aBistarelli, Stefano.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aSemirings for Soft Constraint Solving and Programming
_h[electronic resource] /
_cby Stefano Bistarelli.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aXII, 284 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2962
505 0 _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.
520 _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.
650 0 _aAlgebra.
650 0 _aCompilers (Computer programs).
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aAlgebra.
650 2 4 _aCompilers and Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aArtificial Intelligence.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540211815
776 0 8 _iPrinted edition:
_z9783662205198
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2962
856 4 0 _uhttps://doi.org/10.1007/b95712
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c180469
_d180469