Minimizing coordination, or blocking communication between concurrently executing
operations, is key to maximizing scalability, availability, and high performance in database …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Abstract Concurrent Constraint Programming (CCP) has been used over the last two
decades as an elegant and expressive model for concurrent systems. It models systems of …

Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …

Constraint Handling Rules (CHR) is a high-level rule-based programming language which
is increasingly used for general-purpose programming. We introduce the CHR machine, a …

Abstract Constraint Handling Rules (CHR) is both an effective concurrent declarative
constraint-based programming language and a versatile computational formalism. While …

While it is generally agreed-upon that certain classes of CHR states should be considered
equivalent, no standard definition of equivalence has ever been established. Furthermore …

Constraint Handling Rules (CHR) is a concurrent committed-choice constraint logic
programming language to describe transformations (rewritings) among multi-sets of …

The cognitive architecture ACT-R is very popular in cognitive sciences. It merges well-
investigated results of psychology to a unified model of cognition. This enables researchers …

Previous results on proving confluence for Constraint Handling Rules are extended in two
ways in order to allow a larger and more realistic class of CHR programs to be considered …