Slim Abdennadher, Thom Frühwirth  Home/Search
Context Related
Links: ACM DBLP | pms.informatik.uni...MSFB19985.ps.gz pms.informatik.unim...papercp98.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: pms.informatik.unimuench...index (more) From: pms.informatik.unimuench...paper (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 [Abd97], 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):
64.7%: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
11.3%: Operational Equivalence of CHR Programs And Constraints - Abdennadher, Frühwirth (1999) (Correct)
6.3%: 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
0.9: Confluence and Semantics of Constraint Simplification Rules - Abdennadher, Frühwirth.. (1999) (Correct)
0.8: Implementing Constraint Solvers: Theory and Practice - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.8: Using Typed Interfaces to Compose CHR Programs - Ringwelski, Schlenker (2000) (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/article/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/article/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 DBLP
344 Concurrent Constraint Programming (context) - Saraswat - 1993 ACM DBLP
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
50 Constraint handling rules - Fruhwirth - 1995 ACM DBLP
34 and termination (context) - Bachmair, Dershowitz et al. - 1986
32 Confluence of conditional rewrite systems (context) - Dershowitz, Okada et al. - 1988 ACM DBLP
24 Operational semantics and confluence of constraint propagati.. - Abdennadher - 1997 DBLP
19 Constraint logic programming: An informal introduction (context) - Fruhwirth, Herold et al. - 1992
10 On confluence of constraint handling rules - Abdennadher, Fruhwirth et al. - 1996 DBLP
9 Logic programming by completion (context) - Dershowitz, Josephson - 1984 DBLP
6 Analyse von regelbasierten Constraintlosern (context) - Abdennadher - 1998
4 ACM-MIT SDRC Workshop (context) - programming, group - 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.pms.informatik.uni-muenchen.de/publikationen/index.html): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Problem Solving with Model-Generation Approaches based on.. - Eisinger, Geisler (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