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 Constraint Handling Rules (CHRs) are a high-level rule-based programming
language commonly used to write constraint solvers. The theoretical operational semantics …

In automated material handling systems (AMHS), such as those used to transport wafers in
semiconductor manufacturing facilities, vehicular congestion leads to transport delay and …

Recently, quantum computing and communications rapidly developed to interconnect
heterogeneous quantum devices. In particular, some researchers have been performed …

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

Wildfires have significant environmental and economic effects. Since containment of
wildfires involves deciding under tight time constraints, there is an increasing need for …

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 …

We present an algorithm for long-term routing of autonomous sailboats with an application to
the ASV Roboat. It is based on the A*-algorithm and incorporates changing weather …

In this paper, we propose some amendment on Dijkstra's algorithm in order to optimize it by
reducing the number of iterations. The main idea is to solve the problem where more than …