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 |