Cantitate/Preț
Produs

Constraint Handling Rules: Current Research Topics: Lecture Notes in Computer Science, cartea 5388

Editat de Tom Schrijvers, Thom Frühwirth
en Limba Engleză Paperback – 18 dec 2008
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33042 lei

Preț vechi: 41303 lei
-20% Nou

Puncte Express: 496

Preț estimativ în valută:
6324 6577$ 52100£

Carte tipărită la comandă

Livrare economică 13-27 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540922421
ISBN-10: 3540922423
Pagini: 256
Ilustrații: VII, 245 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.36 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Welcome to Constraint Handling Rules.- A Flexible Search Framework for CHR.- Adaptive CHR Meets CHR???.- Constructing Rule-Based Solvers for Intentionally-Defined Constraints.- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.- A Compositional Semantics for CHR with Propagation Rules.- CHR for Imperative Host Languages.- Guard Reasoning in the Refined Operational Semantics of CHR.

Textul de pe ultima copertă

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.