Amazon cover image
Image from Amazon.com

Semirings for soft constraint solving and programming / Stefano Bistarelli.

By: Material type: TextTextSeries: Lecture notes in computer science ; 2962.Publication details: Berlin ; New York : Springer, ©2004.Description: 1 online resource (xii, 279 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 3540259252
  • 9783540259251
  • 1280307013
  • 9781280307010
Subject(s): Additional physical formats: Print version:: Semirings for soft constraint solving and programming.DDC classification:
  • 005.1/1 22
LOC classification:
  • QA76.612 .B57 2004
Other classification:
  • 54.53
  • 54.52
  • 54.54
  • SS 4800
  • DAT 706f
  • MAT 166f
Online resources:
Contents:
1. 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.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references (pages 269-279).

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.

1. 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.

Powered by Koha