Slim Abdennadher, Thom Frühwirth  Home/Search
Context Related
| informatik.uniulm.de/pm/m...cp98.ps.gz 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: informatik.uniulm.de/pm/...node7 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Constraint Handling Rules (CHR) is a high-level language for writing constraint solvers either from scratch or by modifying existing solvers. An important property of any constraint solver is confluence: The result of a computation should be independent from the order in which constraints arrive and in which rules are applied. In previous work [1], a sufficient and necessary condition for the confluence of terminating CHR programs was given by adapting and extending results about... (Update)
Context of citations to this paper: More
.... of G ) RK , BK) which is equivalent to (GK) R , B) A semantics where 9 binds variables that occur only in B has been proposed [AF98]. However, we do not see how this existential quantification is taken into account in the operational semantics, so we think it is safer...
...revoke previously given feedback. Con uence analysis of CHR systems was investigated in [2] and a completion procedure was introduced in [1]. These results immediately carry over to our parsers, because they are de ned as CHR systems. 4 From Diagram Recognition to Diagrammatic...
Cited by: More
Integration and Optimization of Rule-based Constraint Solvers - Abdennadher, Frühwirth (2004) (Correct)
Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
Constraint Diagram Reasoning - Meyer (1999) (Correct)
Similar documents (at the sentence level):
71.5%: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
10.5%: Operational Equivalence of CHR Programs And Constraints - Abdennadher, Frühwirth (1999) (Correct)
5.5%: CHR: A Flexible Query Language - Abdennadher, Schütz (Correct)
Active bibliography (related documents): More All
0.8: Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (Correct)
0.2: A Non-Generative Constraint-Based Formalism - Blache, Morawietz (2000) (Correct)
0.2: Chart Parsing and Constraint Programming - Morawietz (2000) (Correct)
Similar documents based on text: More All
1.2: Confluence and Semantics of Constraint Simplification Rules - Abdennadher, Frühwirth.. (1999) (Correct)
0.9: Implementing Constraint Solvers: Theory and Practice - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.8: On Confluence of Constraint Handling Rules - Abdennadher, Frühwirth, Meuss (1996) (Correct)
Related documents from co-citation: More All
3: Operational equivalence of constraint handling rules (context) - Abdennadher, Fruhwirth - 1999
2: Confluence and semantics of constraint simplification rules - Abdennadher, Fruhwirth et al. - 1999
2: Operational semantics and confluence of constraint handling rules - Abdennadher - 1997
BibTeX entry: (Update)
S. Abdennadher and T. Fruhwirth. On completion of constraint handling rules. In 4th International Conference on Principles and Practice of Constraint Programming, CP98, LNCS 1520. Springer-Verlag, 1998. http://citeseer.ist.psu.edu/abdennadher98completion.html More
@article{ abdennadher98completion,
author = "Slim Abdennadher and Thom Fr{\"u}hwirth",
title = "On Completion of Constraint Handling Rules",
journal = "Lecture Notes in Computer Science",
volume = "1520",
pages = "25--??",
year = "1998",
url = "citeseer.ist.psu.edu/abdennadher98completion.html" }
Citations (may not include all citations):384 Simple word problems in universal algebra (context) - Knuth, Bendix - 1970
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
344 Concurrent Constraint Programming (context) - Saraswat - 1993
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
50 Constraint handling rules - Fruhwirth - 1995
34 and termination (context) - Bachmair, Dershowitz et al. - 1986
32 Confluence of conditional rewrite systems (context) - Dershowitz, Okada et al. - 1988
24 Operational semantics and confluence of constraint propagati.. - Abdennadher - 1997
10 On confluence of constraint handling rules - Abdennadher, Fruhwirth et al. - 1996
9 Logic programming by completion (context) - Dershowitz, Josephson - 1984
6 Analyse von regelbasierten Constraintlosern (context) - Abdennadher - 1998
4 ACM-MIT SDRC Workshop (context) - constraint, group et al. - 1996
3 A Declarative Language for Constraint Systems: Theory and Pr.. (context) - Fruhwirth - 1998
2 On rewrite programs: Semantics and relationsship with PROLOG (context) - Bonacina, Hsiang - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/node7.html): More
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
As Time Goes By: Automatic Complexity Analysis of Simpli - Cation Rules Thom (2002) (Correct)
Source-to-Source Transformation for a Class of Expressive Rules - Frühwirth, Holzbaur (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