Slim Abdennadher, Thom Frühwirth, Holger Meuss  Home/Search
Context
Related
| pms.informatik.uni...SFB199614.ps.gz pms.informatik.uni...paperfri96.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: Our research is based on Constraint Handling Rules (CHR), a powerful language for writing constraint solvers. We investigate confluence of CHR programs. This property guarantees that a CHR program will always compute the same result for a given set of constraints independent of which rules are applied. We give a decidable, sufficient and necessary syntactic condition for confluence. Finally we present an application utilizing CHR offering rent advice: The city government of Munich regularly... (Update)
Similar documents (at the sentence level): More
21.7%: The Munich Rent Advisor - Frühwirth, Abdennadher (Correct)
20.5%: On Confluence of Constraint Handling Rules - Abdennadher, Frühwirth, Meuss (1996) (Correct)
10.2%: Rent Estimates with Constraints over the Internet - .. - Frühwirth.. (1996) (Correct)
Active bibliography (related documents): More All
0.5: A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
0.3: Using Coordination For Cooperative Constraint Solving - Arbab, Monfroy (1998) (Correct)
0.3: Constructive Negation in CLP(H) - Bartak (Correct)
Similar documents based on text: More All
1.2: Confluence and Semantics of Constraint Simplification Rules - Abdennadher, Frühwirth.. (1999) (Correct)
0.9: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
0.6: Operational Semantics and Confluence of Constraint Propagation.. - Abdennadher (1997) (Correct)
BibTeX entry: (Update)
@inproceedings{ abdennadher96implementing,
author = "S. Abdennadher and Th. Fr{\"u}hwirth and H. Meuss",
title = "Implementing Constraint Solvers: Theory and Practice",
booktitle = "Forum de la Recherche en Informatique'96 ({FRI}'96)",
address = "Tunis, Tunesia",
year = "1996",
url = "citeseer.ist.psu.edu/abdennadher96implementing.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat - 1993 ACM DBLP
151 Logic Semantics for a Class of Committed-Choice Programs (context) - Maher - 1987 DBLP
32 Confluence of conditional rewrite systems (context) - Dershowitz, Okada et al. - 1988 ACM DBLP
11 Extensions User Manual (context) - Brisset, Fr et al. - 1994
10 On confluence of constraint handling rules - Abdennadher, Fr et al. - 1996 DBLP
6 Constraint handling rules (context) - uhwirth - 1995 ACM DBLP
4 Confluence in concurrent constraint programming - Falaschi, Gabbrielli et al. - 1995 ACM DBLP
4 A confluent calculus for concurrent constraint programming w.. - Marriott, Odersky - 1995 ACM DBLP
3 Constraint Logic Programming - An Informal Introduction (context) - uhwirth, Herold et al. - 1992
1 Submitted to 1st Workshop on Logic Programming Tools for int.. (context) - Abdennadher, Fr - 1996
1 Rent estimates with constraints over the internet (context) - Abdennadher, Blenninger et al. - 1996
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