ENGLISH

Constraint Handling Rules: Current Research Topics

By Thom Frühwirth (auth.) , Tom Schrijvers , Thom Frühwirth (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
3540922423, 9783540922421
DOI
10.1007/978-3-540-92243-8
LCC
QA76.612 .C65 2008
Open Library ID
OL23971159M
Language
english
Format
PDF
Filesize
2 MB (2304363 bytes)
Series
Lecture Notes in Computer Science 5388 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
245\251
Topic
Computers
Time added
2011-06-04 13:46:07
Artificial Intelligence (incl. Robotics); Mathemat

Description

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.

Similar books