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