Christian Holzbaur, Thom Frühwirth  Home/Search
Context
Related
| kr.tuwien.ac.at/pub/tr...holzbaur.ps.gz informatik.unimuenchen.de...wlp98.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kr.tuwien.ac.at/research/wlp98... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: CHR is a committed-choice language consisting of guarded rules that rewrite constraints into simpler ones until they are solved. CHR can define both simplification of and propagation over user-defined constraints. Simplification replaces constraints by simpler constraints while preserving logical equivalence. Propagation adds new constraints which are logically redundant but may cause further simplification. The constraints acted upon by CHR are represented in a constraint store, much like... (Update)
Similar documents (at the sentence level):
35.0%: Compiling Constraint Handling Rules - Holzbaur, Frühwirth (1998) (Correct)
8.2%: SICStus Prolog User's Manual - Laboratory (2001) (Correct)
Active bibliography (related documents): More All
0.3: CHR and Harrop formulas: entailment, universal constraints.. - Padioleau, Ridoux (2000) (Correct)
0.2: CHR for XSB - Schrijvers, Warren, Demoen (2003) (Correct)
0.2: Guard Simplification in CHR programs - Sneyers, Schrijvers, Demoen (2004) (Correct)
Similar documents based on text: More All
0.6: Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (Correct)
0.5: Implementing Constraint Solvers: Theory and Practice - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.5: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
BibTeX entry: (Update)
@misc{ holzbaur-join,
author = "Christian Holzbaur and Thom Frühwirth",
title = "Join Evaluation Schemata for Constraint Handling Rules (CHR)",
url = "citeseer.ist.psu.edu/27019.html" }
Citations (may not include all citations):373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
344 Concurrent Constraint Programming (context) - Saraswat - 1993
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
151 Logic Semantics for a Class of Committed-Choice Programs (context) - Maher
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
66 Theory and Practice of Constraint Handling Rules - Fruhwirth - 1998
31 Attributed Variables in the Context of Extensible Unificatio.. (context) - Holzbaur, vs - 1992
29 A new data structure for implementing extensions to Prolog (context) - le - 1990
27 Efficient Implementation of a Defensible Semantics for Dynam.. (context) - O'Keefe - 1987
26 Extensible unification by metastructures (context) - Neumerkel - 1990
17 QD-Janus : A Sequential Implementation of Janus in Prolog - Debray - 1993
7 Prolog control rules (context) - Naish - 1985
7 High-Level Implementations of Constraint Handling Rules - Fruhwirth, Brisset - 1995
4 Compiling Constraint Handling Rules - Holzbaur, Fruhwirth - 1998
2 Introducing Simplification Rules (context) - Fruhwirth - 1991
2 Constraint Handling Rules Reference Manual (context) - Holzbaur, Fruhwirth - 1998
2 Confluence and Semantics of Constraint Simplification Rules (context) - Fruhwirth, Abdennadher et al. - 1998
1 Digital Equipment (context) - The, Real - 1990
Documents on the same site (http://www.kr.tuwien.ac.at/research/wlp98/): More
Using Logic Programming in Java Environment (Extended Abstract) - Boulanger, Geske (1998) (Correct)
Towards a Compact Knowledge Representation by AR Models - Gottlob, Pichler (1998) (Correct)
Adaptive Entailment of Equations over Rational Trees - Wolf (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC