Skip to search formSkip to main contentSkip to account menu

Constraint Handling Rules

Known as: CHR, CHR.js 
Constraint Handling Rules (CHR) is a declarative, rule-based language, introduced in 1991 by Thom Frühwirth at the time in the University of Ulm… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Abductive reasoningBusiness rules engineCompilerConfluence (abstract rewriting)

Broader (1)

Constraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Constraint Handling Rules: Current Research Topics
Welcome to Constraint Handling Rules.- A Flexible Search Framework for CHR.- Adaptive CHR Meets CHR???.- Constructing Rule-Based… 
2007
2007
CHR-rp: Constraint Handling Rules with rule priorities
We extend the Constraint Handling Rules language (CHR) with user-defined rule priorities. This language extension reduces the… 
Highly Cited
1999
Highly Cited
1999
Survival-variation within and between functional categories of the African multimammate rat
1. By identifying ecological factors specific to functional categories of individuals, it may be possible to understand the… 
Highly Cited
1999
Highly Cited
1999
Organic matter composition and degree of humification in lignite-rich mine soils under a chronosequence of pine
In the Lusatian mining district, in the eastern part of the Federal Republic of Germany, organic matter of reclaimed mine soils… 
1997
1997
Race, Cops, and Traffic Stops
This article discusses the Supreme Court's failure to provide a clear and effective remedy for discriminatory pretextual traffic… 
1996
1996
On Connuence of Constraint Handling Rules on Connuence of Constraint Handling Rules
We introduce the notion of connuence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers… 
1994
1994
The hcC-tree: An Efficient Index Structure for Object Oriented Databases
Object oriented database systems, in contrast to traditional relational database systems, allow the scope of a query against a… 
Highly Cited
1991
Highly Cited
1991
The boron approach to asymmetric synthesis
Abstract 
1984
1984
Techniques for Inoculum Production and Inoculation of Lily Leaves withBotrytis elliptica
in a culture tube (25 X 150 mm), Doss, R. P., Chastagner, G. A, and Riley, K. L. 1984. Techniques for inoculum production and… 
1983
1983
Synthesis of β-lactams from chromium carbenes and imines
Abstract 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)