Skip to main content
SpringerLink
Log in

New Trends in Constraints

Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Krzysztof R. Apt

    1. CWI, GB Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eric Monfroy

    1. CWI, GB Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Antonis C. Kakas

    1. Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Francesca Rossi

    1. Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1865)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Contributions and Surveys

    1. Interval Constraints: Results and Perspectives

      • Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard
      Pages 1-16

    2. A Constraint-Based Language for Virtual Agents

      • Philippe Codognet
      Pages 17-39

    3. Constraint (Logic) Programming: A Survey on Research and Applications

      • Francesca Rossi
      Pages 40-74

    4. OPL Script: Composing and Controlling Models

      • Pascal Van Hentenryck, L. Michel
      Pages 75-90

  3. Constraint Propagation and Manipulation

    1. Some Remarks on Boolean Constraint Propagation

      • Krzysztof R. Apt
      Pages 91-107

    2. Abstracting Soft Constraints

      • S. Bistarelli, P. Codognet, Y. Georget, F. Rossi
      Pages 108-133

    3. Decomposable Constraints

      • Ian Gent, Kostas Stergiou, Toby Walsh
      Pages 134-149

    4. Generating Propagation Rules for Finite Domains: A Mixed Approach

      • Christophe Ringeissen, Eric Monfroy
      Pages 150-172

    5. Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation

      • Marius-Călin Silaghi, Djamila Sam-Haroud, Boi Faltings
      Pages 173-187

  4. Constraint Programming

    1. Combining Constraint Logic Programming Techniques for Solving Linear Problems

      • Reem Bahgat, Samir E. Abdel-Rahman
      Pages 188-211

    2. Quantitative Observables and Averages in Probabilistic Constraint Programming

      • Alessandra Di Pierro, Herbert Wiklicky
      Pages 212-236

    3. Dynamic Constraint Models for Planning and Scheduling Problems

      • Roman Barták
      Pages 237-255

    4. A Finite Domain CLP Solver on Top of Mercury

      • Henk Vandecasteele, Bart Demoen, Gerda Janssens
      Pages 256-273

  5. Rule-Based Constraint Programming

    1. Rule Based Programming with Constraints and Strategies

      • Hubert Dubois, Héléne Kirchner
      Pages 274-297

    2. Proving Termination of Constraint Solver Programs

      • Thom Frühwirth
      Pages 298-317

    3. Projection in Adaptive Constraint Handling

      • Armin Wolf
      Pages 318-338

  6. Back Matter

    Pages 339-339
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • CWI, GB Amsterdam, The Netherlands

    Krzysztof R. Apt, Eric Monfroy

  • Department of Computer Science, University of Cyprus, Nicosia, Cyprus

    Antonis C. Kakas

  • Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    Francesca Rossi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation