Skip to main content
  • Book
  • © 2008

Constraint Handling Rules

Current Research Topics

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)

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (8 chapters)

  1. Front Matter

  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. A Compositional Semantics for CHR with Propagation Rules

    • Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
    Pages 119-160
  7. CHR for Imperative Host Languages

    • Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen
    Pages 161-212
  8. Guard Reasoning in the Refined Operational Semantics of CHR

    • Jon Sneyers, Tom Schrijvers, Bart Demoen
    Pages 213-244
  9. Back Matter

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 research papers possible.

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
  • algorithm analysis and problem complexity

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions