As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007
Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …
Observable confluence for constraint handling rules
Abstract Constraint Handling Rules (CHR) are a powerful rule based language for
specifying constraint solvers. Critical for any rule based language is the notion of …
specifying constraint solvers. Critical for any rule based language is the notion of …
Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary
J Sneyers - … : 25th International Conference, ICLP 2009, Pasadena …, 2009 - Springer
Abstract Constraint Handling Rules [1, 2] is a high-level programming language extension
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
based on multi-headed committed-choice multiset rewrite rules. It can be used as a stand …
Analysing graph transformation systems through constraint handling rules
F Raiser, T Frühwirth - Theory and Practice of Logic Programming, 2011 - cambridge.org
Graph transformation systems (GTS) and constraint handling rules (CHR) are non-
deterministic rule-based state transition systems. CHR is well known for its powerful …
deterministic rule-based state transition systems. CHR is well known for its powerful …
Graph transformation systems in constraint handling rules: improved methods for program analysis
F Raiser - 2016 - oparu.uni-ulm.de
Abstract Constraint Handling Rules (CHR) is a rule-and logic-based formalism and has
established itself as an active research topic. In contrast to other rule-based approaches …
established itself as an active research topic. In contrast to other rule-based approaches …
Web service publishing and composition based on monadic methods and program slicing
Y Zhang, W Fu, HKN Leung - Knowledge-Based Systems, 2013 - Elsevier
As the rapid development of web services, how to publish, discover and compose them in
open and dynamic network environment has become one of the most important challenges …
open and dynamic network environment has become one of the most important challenges …
CHORD: constraint handling object-oriented rules with disjunctions
MAA Silva - 2009 - bdtd.ibict.br
Constraint Handling Object-oriented Rules with Disjunctions (CHORD), é uma extensão
orientada a objetos (OO) de CHRv, uma linguagem relacional baseada em regras que foi …
orientada a objetos (OO) de CHRv, uma linguagem relacional baseada em regras que foi …
Transactions in Constraint Handling Rules
CHR is a highly concurrent language, and yet it is by no means a trivial task to write correct
concurrent CHR programs. We propose a new semantics for CHR, which allows specifying …
concurrent CHR programs. We propose a new semantics for CHR, which allows specifying …
Exhaustive execution of chr through source-to-source transformation
A Elsawy, A Zaki, S Abdennadher - … , UK, September 9-11, 2014. Revised …, 2015 - Springer
Abstract Constraint Handling Rules (CHR) is a committed-choice rule-based programming
language. Rules rewrite a global multi-set of constraints to another. Overlap** sets of …
language. Rules rewrite a global multi-set of constraints to another. Overlap** sets of …
Designing and implementing a framework for BDI-style communicating agents in Haskell
In this position paper we present the design and prototypical implementation of a framework
for BDI-style agents defined as Haskell functions, supporting both the explicit representation …
for BDI-style agents defined as Haskell functions, supporting both the explicit representation …