Skip to main content
SpringerLink
Log in
Book cover

Constraint Handling Rules

Current Research Topics

  • Book
  • © 2008

Overview

Editors:
  1. Tom Schrijvers

    1. Department of Computer Science, Katholieke Universiteit Leuven, Heverlee, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thom Frühwirth

    1. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, Ulm, Germany

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

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 (8 chapters)

  1. Front Matter

    Download chapter PDF

  2. Welcome to Constraint Handling Rules

    • Thom Frühwirth
    Pages 1-15

  3. A Flexible Search Framework for CHR

    • Leslie De Koninck, Tom Schrijvers, Bart Demoen
    Pages 16-47

  4. Adaptive CHR Meets CHR ∨

    • Armin Wolf, Jacques Robin, Jairson Vitorino
    Pages 48-69

  5. Constructing Rule-Based Solvers for Intentionally-Defined Constraints

    • Ingi Sobhi, Slim Abdennadher, Hariolf Betz
    Pages 70-84

  6. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

    • Henning Christiansen
    Pages 85-118

  7. A Compositional Semantics for CHR with Propagation Rules

    • Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
    Pages 119-160

  8. CHR for Imperative Host Languages

    • Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen
    Pages 161-212

  9. Guard Reasoning in the Refined Operational Semantics of CHR

    • Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 213-244

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ?ve 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 of Lecture Notes in Ariti?cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8 papersinthis issuewereselectedfrom11submissionsaftercarefulreviewingand subsequent revisions. Each paper was reviewd by three reviewers. The accepted papers represent some of the research teams on CHR around the world. It is not by accident that the currently most active research group is featured here with three articles. We also would have liked to see contributions from other CHR teams, but space is limited and the reviewers took their job seriously. After an introductory article that foreshadows an upcoming monograph on CHR, the accepted papers span a range of current research topics in the CHR community. It goes from extending the CHR language with search facilities and the related adaptive framework, and from generating rules from speci?cations of constraint solvers to implementing abductive probabilistic reasoning. They cover the theory that is a compositional semantics for CHR and ?nally describe e?cient implementations of CHR in traditional mainstream programming l- guages and compiler optimizations in the context of the re?ned semantics of CHR. Wewouldliketothanktheauthorsofsubmittedpapersandthemanyrevi- ers for their contribution in making this collection of researchpapers possible.

Editors and Affiliations

  • Department of Computer Science, Katholieke Universiteit Leuven, Heverlee, Belgium

    Tom Schrijvers

  • Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, Ulm, Germany

    Thom Frühwirth

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation