Central Library

Normal view MARC view ISBD view

Constraint Handling Rules [electronic resource] : Current Research Topics / edited by Tom Schrijvers, Thom Frühwirth.

Contributor(s): Schrijvers, Tom [editor.] | Frühwirth, Thom [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Artificial Intelligence: 5388Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Edition: 1st ed. 2008.Description: VII, 245 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540922438.Subject(s): Artificial intelligence | Computer programming | Machine theory | Algorithms | Database management | Artificial Intelligence | Programming Techniques | Formal Languages and Automata Theory | Algorithms | Database ManagementAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.