## New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected PapersThis 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 |

339 | |

### Common terms and phrases

abstract activities agent applications arc-consistency Artificial Intelligence backtracking binary constraints binary decomposition Boolean constraints built-in constraints Cartesian product CLP(Q complex-process environments Computer Science concrete Concurrent Constraint consider Constraint Handling Rules Constraint Logic Programming constraint problems Constraint Programming constraint propagation constraint satisfaction problems constraint solver constraint store CSP's defined Definition equations example finite domain variable framework function future variables given global hyper-arc consistency idempotent implementation instantiation integers interval constraint LNCS MAC-CPR MIFD node non-binary constraints notion objects operational semantics operations OPLScript optimal solution parameter partial Practice of Constraint Principles and Practice probabilistic Proc Proceedings Programming Languages Prolog proof propagation rules properties relation resource scheduling problems script SCSP search tree Section semantics semiring soft constraint specific Springer-Verlag straint strategies system BOOL task techniques termination Theorem transition tuples unit propagation variable bindings VRML