𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Constraint Programming

✍ Scribed by Brian Mayoh, Enn Tyugu, Tarmo Uustalu (auth.), Brian Mayoh, Enn Tyugu, Jaan Penjam (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1994
Tongue
English
Leaves
460
Series
NATO ASI Series 131
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Constraint programming is like an octopus spreading its tentacles into databases, operations research, artificial intelligence, and many other areas. The concept of constraint programming was introduced in artificial intelligence and graphics in the 1960s and 1970s. Now the related techniques are used and studied in many fields of computing. Different aspects of constraint processing are investigated in theoretical computer science, logic programming, knowledge representation, operations research, and related application domains. Constraint programming has been included in the lists of related topics of many conferences. Nevertheless, only in 1993 were the first forums held, devoted as a whole to this field of knowledge. These were the First Workshop on Principles and Practice of Constraint Programming (PPCP'93) which was held in Newport, Rhode Island, USA, April 28-30, the International Workshop on Constraint Processing (at CSAM'93) held in St. Petersburg, Russia, July 20-21, and the NATO Advanced Study Institute (NATO AS!) on Constraint Programming held in Parnu, Estonia, August 13-24. NATO A Sis are aimed to be schools bringing together leading researchers and practitioners from industry and academia in some area of knowledge to provide a concise picture of the work done and results obtained by different groups. This is intended for dissemination of advanced knowledge not yet taught regularly in of new topics university. However, ASis must also encourage the introduction into university curricula as well as foster international scientific contacts.

✦ Table of Contents


Front Matter....Pages i-vii
Constraint Satisfaction and Constraint Programming: A Brief Lead-In....Pages 1-16
Constraint Programming and Artificial Intelligence....Pages 17-50
Exploiting Structure in Constraint Satisfaction Problems....Pages 51-74
Constraint Hierarchies....Pages 75-115
Higher-Order Functional Constraint Networks....Pages 116-139
Interval Computations as Propagation of Constraints....Pages 140-152
Applying Constraints for Scheduling....Pages 153-171
Concurrent Semantics for Concurrent Constraint Programs....Pages 173-227
Abstract Interpretation for (Constraint) Logic Programming....Pages 228-260
Denotational Semantics of Constraint Logic Programming β€” A Nonstandard Approach....Pages 261-288
Resolution Strategies for the Intuitionistic Logic....Pages 289-311
Kaleidoscope: A Constraint Imperative Programming Language....Pages 313-329
Constraints in NUT....Pages 330-349
Interval Constraint Programming in C++....Pages 350-366
Programming in Timed Concurrent Constraint Languages....Pages 367-413
An Introduction to AKL A Multi-Paradigm Programming Language....Pages 414-449
Back Matter....Pages 451-456

✦ Subjects


Programming Techniques; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics)


πŸ“œ SIMILAR VOLUMES


Recent Advances in Constraints: 12th Ann
✍ FranΓ§ois Fages, Francesca Rossi, Sylvain Soliman πŸ“‚ Library πŸ“… 2008 πŸ› Springer 🌐 English

<P>This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007.</P> <P>The 10 revised full papers presented were ca

Programming Constraint Services: High-Le
✍ Christian Schulte (eds.) πŸ“‚ Library πŸ“… 2002 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 s

Handbook of Constraint Programming
✍ Francesca Rossi, Peter van Beek and Toby Walsh (Eds.) πŸ“‚ Library πŸ“… 2006 πŸ› Elsevier Science 🌐 English

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to man