New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers (Google eBook)

Front Cover
Springer Science & Business Media, Aug 23, 2000 - Computers - 338 pages
0 Reviews
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Results and Perspectives
1
A ConstraintBased Language for Virtual Agents
17
A Survey on Research and Applications
40
Composing and Controlling Models
75
Some Remarks on Boolean Constraint Propagation
91
Abstracting Soft Constraints
108
Decomposable Constraints
134
A Mixed Approach
150
Combining Constraint Logic Programming Techniques for Solving Linear Problems
188
Quantitative Observables and Averages in Probabilistic Constraint Programming
212
Dynamic Constraint Models for Planning and Scheduling Problems
237
A Finite Domain CLP Solver on Top of Mercury
256
Rule Based Programming with Constraints and Strategies
274
Proving Termination of Constraint Solver Programs
298
Projection in Adaptive Constraint Handling
318
Author Index
339

Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation
173

Common terms and phrases

About the author (2000)

Krzysztof R. Apt is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.