Erschienen: 24.02.2004 Abbildung von Bistarelli | Semirings for Soft Constraint Solving and Programming | 2004 | 2962

Bistarelli

Semirings for Soft Constraint Solving and Programming

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

2004. Buch. xii, 284 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-21181-5

Format (B x L): 15,5 x 23,5 cm

Gewicht: 920 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 2962

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...