Constraint Handling Rules

Current Research Topics

  • Tom Schrijvers
  • Thom Frühwirth

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5388)

Table of contents

  1. Front Matter
  2. Thom Frühwirth
    Pages 1-15
  3. Leslie De Koninck, Tom Schrijvers, Bart Demoen
    Pages 16-47
  4. Armin Wolf, Jacques Robin, Jairson Vitorino
    Pages 48-69
  5. Ingi Sobhi, Slim Abdennadher, Hariolf Betz
    Pages 70-84
  6. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
    Pages 119-160
  7. Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen
    Pages 161-212
  8. Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 213-244
  9. Back Matter

About this book

Introduction

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs.

The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations.

The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR.

Keywords

Ada Constraint algorithms answer sets compositional semantics computational logics constraint logic programming constraint programming constraint solvers constraint theory database logic first order logic inductive logic p logic programming programming language

Editors and affiliations

  • Tom Schrijvers
    • 1
  • Thom Frühwirth
    • 2
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenHeverleeBelgium
  2. 2.Fakultät für Ingenieurwissenschaften und InformatikUniversität UlmUlmGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-92243-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-92242-1
  • Online ISBN 978-3-540-92243-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book