Constraint Handling Rules: Current Research Topics

December 18, 2008|
Constraint Handling Rules: Current Research Topics by Tom Schrijvers
Earn 605 plum® points
Buy Online
Ship to an address
Free shipping on orders over $35
Pick up in store
To see if pickup is available,
In-Store Availability
Not sold in stores
Prices and offers may vary in store


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.
Title:Constraint Handling Rules: Current Research TopicsFormat:PaperbackProduct dimensions:245 pages, 9.25 X 6.1 X 0 inShipping dimensions:245 pages, 9.25 X 6.1 X 0 inPublished:December 18, 2008Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540922423

ISBN - 13:9783540922421

Appropriate for ages: All ages

Look for similar items by category: