Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science, 2302) - Image 1

£45.61

Springer Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science, 2302)

Name: Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science, 2302)
Brand: Springer
Price: 45.61 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£46 today · previous high £46 · all-time low £45

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 22 days • 22 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (22 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 22 days

Description

Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language (e.g. Prolog), or as a system with its own dedicated language. The present book is concerned with the architecture and implementation of constraint engines. It presents a new, concurrent architecture that is far superior to the sequential architecture underlying Prolog. The new archit- ture is based on concurrent search with copying and recomputation rather than sequential search with trailing and backtracking. One advantage of the concurrent approach is that it accommodates any search strategy. Furth- more, it considerably simpli?es the implementation of constraint propagation algorithms since it eliminates the need to account for trailing and backtra- ing. The book investigates an expressive generalization of the concurrent - chitecture that accommodates propagation-preserving combinators (known as deep guard combinators) for negation, disjunction, implication, and re- cation of constraint propagators. Such combinators are beyond the scope of Prolog’s technology. In the concurrent approach they can be obtained with a re?ective encapsulation primitive.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540433716
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 20 March 2002
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Programming Constraint Services: High-Level Programming of Standard and New Constraint Services: 2302 (Lecture Notes in Computer Science, 2302)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Cooperating Heterogeneous Systems: 299 (The Springer International Series in Engineering and Computer Science)

A Programming Approach to Computability (Monographs in Computer Science)

Parallelism & Implementation of Logic & Constraint Logic Programming

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

The Implementation of Prolog (Princeton Legacy Library) (Princeton Series in Computer Science)

Clause and Effect: Prolog Programming for the Working Programmer

The Foundations of Computability Theory

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Art of Computer Programming, The, Volumes 1-4B, Boxed Set: Fundamental Algorithms / Seminumerical Algorithms / Sorting and Searching / Combinatorial ... Part 1 / Combinatorial Algorithms, Part 2

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Springer SAT 2005: Satisfiability Research in the Year 2005

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

SAT 2005: Satisfiability Research in the Year 2005

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Springer Parallel and Constraint Logic Programming Book 876

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)