Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,670,443 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Abductive reasoning
Business rules engine
Compiler
Confluence (abstract rewriting)
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Quantified Constraint Handling Rules
Vincent Barichard
,
I. Stéphan
ICLP Technical Communications
2019
Corpus ID: 202660614
We shift the QCSP (Quantified Constraint Satisfaction Problems) framework to the QCHR (Quantified Constraint Handling Rules…
Expand
Review
2011
Review
2011
Constraint Handling Rules: Compilation, Execution, and Analysis
Thom Frhwirth
,
F. Raiser
2011
Corpus ID: 60182452
Constraint Handling Rules (CHR) is both a theoretical formalism and a practical programming language. This book provides an…
Expand
2009
2009
Constraint Handling Rules: Current Research Topics
Tom Schrijvers
,
Thom W. Frühwirth
2009
Corpus ID: 24170011
Welcome to Constraint Handling Rules.- A Flexible Search Framework for CHR.- Adaptive CHR Meets CHR???.- Constructing Rule-Based…
Expand
2006
2006
Constraint handling rules: the story so far
Thom W. Frühwirth
ACM-SIGPLAN International Conference on…
2006
Corpus ID: 16143126
Rule-based programming experiences renaissance due to its applications in areas such as Business Rules, Semantic Web…
Expand
2005
2005
First Workshop on Constraint Handling Rules
Thom W. Frühwirth
,
Marc Meister
2005
Corpus ID: 17388397
The Constraint Handling Rules (CHR) language has become a major specification and implementation language for constraint-based…
Expand
2001
2001
Character recognition experiments using Unipen data
M. Parizeau
,
Alexandre Lemieux
,
Christian Gagné
Proceedings of Sixth International Conference on…
2001
Corpus ID: 10146025
This paper presents experiments that compare the performances of several versions of a regional-fuzzy representation (RFR…
Expand
Highly Cited
1997
Highly Cited
1997
High-Energy Radiation from Rapidly Spinning Pulsars with Thick Outer Gaps
L. Zhang
,
K. Cheng
1997
Corpus ID: 59414770
We propose a self-consistent mechanism to estimate the size of the acceleration region in the outer magnetosphere of pulsars…
Expand
Highly Cited
1991
Highly Cited
1991
The boron approach to asymmetric synthesis
H. Brown
,
P. Ramachandran
1991
Corpus ID: 53508029
Abstract
Highly Cited
1985
Highly Cited
1985
The asymmetric synthesis of β-lactam antibiotics - I. application of chiral oxazolidones in the staudinger reaction.
D. A. Evans
,
E. Sjogren
1985
Corpus ID: 97481854
Highly Cited
1951
Highly Cited
1951
Experiments on the Neural Crest of the Lamprey Embryo
D. Newth
1951
Corpus ID: 7434028
1. The fate of the neural crest of the head in Lampetra planeri has been studied by experiments involving the removal or the…
Expand
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)
ACCEPT & CONTINUE