000			01617nam a22001937a 4500
005			20250717145947.0
008			250717b |||||||| |||| 00| 0 eng d
020			_a9783540211815 _qpbk
041			_aeng
082			_a005.11 _bBIS
100			_aBistarelli, Stephano
245			_aSemirings For Soft Constraint Solving And Programming _cBistarelli, Stephno
260			_aGermany _b Springer Nature B.v. _c2004
300			_aXII, 279 p. _c24 cm.
504			_aBiblio
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			_aProgramming Language
942			_cENGLISH
999			_c576098 _d576098