+612 9045 4394
 
CHECKOUT
Semirings for Soft Constraint Solving and Programming : Lecture Notes in Computer Science, - Stefano Bistarelli

Semirings for Soft Constraint Solving and Programming

Lecture Notes in Computer Science,

Paperback

Published: 24th February 2004
Ships: 15 business days
15 business days
$125.05
or 4 easy payments of $31.26 with Learn more

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.

Introductionp. 1
Soft constraint satisfaction problemsp. 21
Towards SCSPs solutionsp. 51
SCSP abstractionp. 99
Higher order semiring-based constraintsp. 125
Soft CLPp. 137
SCLP and generalized shortest path problemsp. 171
Soft concurrent constraint programmingp. 191
Interchangeability in soft CSPsp. 213
SCSPs for modelling attacks to security protocolsp. 237
Conclusions and directions for future workp. 263
Referencesp. 269
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540211815
ISBN-10: 3540211810
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 284
Published: 24th February 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.58
Weight (kg): 0.42