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. 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 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 related techniques are used and studied in many fields of computing. Different aspects of constraint programming are investigated in theoretical computer science, logic programming, knowledge representation, and related application domains. These proceedings of a NATO Advanced Study Institute describe all important approaches to constraint programming - the logical and object-oriented approaches and the very new concurrent approach. Practitioners will gain new insight and inspiration from the book Proceedings of the NATO Advanced Study Institute on Constraint Programming, held in Pärnu, Estonia, August 13 - 24, 1993 Proceedings of the NATO Advanced Study Institute on Constraint Programming, held in Parnu, Estonia, August 13 - 24, 1993
