Skip to main content
SpringerLink
Log in

Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Krzysztof R. Apt

    1. University of Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. François Fages

    1. Projet Contraintes, INRIA Rocquencourt, Domaine de Voluceau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Francesca Rossi

    1. Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Péter Szeredi

    1. Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary, Budapest

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Josef Váncza

    1. Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary

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

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

Included in the following conference series:

Conference proceedings info: CSCLP 2003.

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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Constraint Solving

    1. A Comparative Study of Arithmetic Constraints on Integer Intervals

      • Krzysztof R. Apt, Peter Zoeteweij
      Pages 1-24

    2. Clustering for Disconnected Solution Sets of Numerical CSPs

      • Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings
      Pages 25-43

    3. Implementing Propagators for Tabular Constraints

      • Roman Barták, Roman Mecl
      Pages 44-65

    4. Constraint Methods for Modal Satisfiability

      • Sebastian Brand, Rosella Gennari, Maarten de Rijke
      Pages 66-86

    5. Learning Approximate Consistencies

      • Arnaud Lallouet, Andreï Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali
      Pages 87-106

  3. Soft Constraints

    1. Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs

      • Stefano Bistarelli, Francesca Rossi, Isabella Pilan
      Pages 107-123

    2. Tradeoff Generation Using Soft Constraints

      • Stefano Bistarelli, Jerome Kelleher, Barry O’Sullivan
      Pages 124-139

    3. Experimental Evaluation of Interchangeability in Soft CSPs

      • Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
      Pages 140-153

  4. Language Issues

    1. A Rule Language for Interaction

      • Carlos Castro, Eric Monfroy, Christophe Ringeissen
      Pages 154-170

    2. A Generic Trace Schema for the Portability of CP(FD) Debugging Tools

      • Ludovic Langevine, Pierre Deransart, Mireille Ducassé
      Pages 171-195

  5. Applications

    1. Teaching Constraints through Logic Puzzles

      • Péter Szeredi
      Pages 196-222

    2. Reduce-To-The-Opt – A Specialized Search Algorithm for Contiguous Task Scheduling

      • Armin Wolf
      Pages 223-232

    3. A New Approach to Modeling and Solving Minimal Perturbation Problems

      • Roman Barták, Tomáš Müller, Hana Rudová
      Pages 233-249

    4. Protein Folding in CLP(\(\mathcal{FD}\)) with Empirical Contact Energies

      • Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
      Pages 250-265

    5. Gestures for Embodied Agents with Logic Programming

      • Zsòfia Ruttkay, Zhisheng Huang, Anton Eliens
      Pages 266-284

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Advances in Constraints

Keywords

About this book

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP2003), which was held from June 30 to July 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM). For many participants this workshop provided the ?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work.

Editors and Affiliations

  • University of Amsterdam, The Netherlands

    Krzysztof R. Apt

  • Projet Contraintes, INRIA Rocquencourt, Domaine de Voluceau, France

    François Fages

  • Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    Francesca Rossi

  • Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary, Budapest

    Péter Szeredi

  • Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary

    Josef Váncza

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation