Constraint Handling Rules - Current Research Topics

by Springer Berlin
State: New
VAT included - FREE Shipping
Springer Berlin Constraint Handling Rules - Current Research Topics
Springer Berlin - Constraint Handling Rules - Current Research Topics

Do you like this product? Spread the word!

$75.90 incl. VAT
Only 1 items available Only 1 items available
Delivery: between Monday, September 27, 2021 and Wednesday, September 29, 2021
Sales & Shipping: Dodax

Check other buying options

1 Offer for $103.21

Sold by Dodax EU

$103.21 incl. VAT
State: New
Free Shipping
Delivery: between Monday, September 27, 2021 and Wednesday, September 29, 2021
View other buying options


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.

Further information

Schrijvers, Tom;Schrijvers
Frühwirth, Thom;Frühwirth
Media Type:
Springer Berlin
Number of Pages:

This text offers seven papers on recent advances in Constraint Handling Rules as well as an introductory paper. Topics covered include search, applications, theory, and implementation of Constraint Handling Rules.

Master Data

Product Type:
Paperback book
Package Dimensions:
0.238 x 0.154 x 0.016 m; 0.381 kg
We use cookies on our website to make our services more efficient and more user-friendly. Therefore please select "Accept cookies"! Please read our Privacy Policy for further information.