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… 
2005
2005
First Workshop on Constraint Handling Rules
The Constraint Handling Rules (CHR) language has become a major specification and implementation language for constraint-based… 
2004
2004
Orbits of 10 interferometric binary systems calculated by using the improved Koval'skij method
Orbital elements are presented of 10 interferometric binary systems with no previous orbit determination: WDS 07143-2621 (FIN 323… 
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… 
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… 
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… 
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 
Highly Cited
1985
Highly Cited
1985
The asymmetric synthesis of β-lactam antibiotics - I. application of chiral oxazolidones in the staudinger reaction.
Highly Cited
1951
Highly Cited
1951
Experiments on the Neural Crest of the Lamprey Embryo
1. The fate of the neural crest of the head in Lampetra planeri has been studied by experiments involving the removal or the… 
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)