Slim Abdennadher, Heribert Schütz  Home/Search
Context Related
| pms.informatik.uni...paperfqas98.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...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We show how the language CHR, a high-level logic language for the implementation of constraint solvers, can be slightly extended to become a general-purpose logic programming language with an expressive power subsuming the expressive power of Horn clause programs with SLD resolution. The extended language, called "CHR ", retains however the extra features of CHR, e.g., committed choice and matching, which are important for other purposes, especially for efficiently solving constraints. ... (Update)
Context of citations to this paper: More
...like predicates is obtained as a by product. Recent activities in parallel with this work point to a convergence of related research. CHR [1] introduces disjunctions into the bodies of CHRs in a similar way as disjunctions are permitted in the bodies of definitions in the...
...arithmetic comparisons can be handled by SIC only in a restricted way. A more general treatment requires the integration of constraint logic programming techniques into our method as in [1, 2]. As has been said in the introduction, we do not assume the usual strict...
Cited by: More
Source-to-Source Transformation for a Class of Expressive Rules - Frühwirth, Holzbaur (Correct)
SIC: Satisfiability Checking for Integrity Constraints - Bry, Eisinger, Schütz, Torge (1998) (Correct)
Semantic Query Optimization through Abduction and Constraint.. - Wetzel, Toni (1998) (Correct)
Similar documents (at the sentence level): More
18.6%: Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
8.6%: A Language for Experimenting with Declarative - Paradigms Slim Abdennadher (Correct)
6.6%: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
Active bibliography (related documents): More All
0.3: Air-Crew Scheduling through Abduction - Kakas, Michael (1999) (Correct)
0.3: Agent-Oriented Programming in Linear Logic - Amin (1999) (Correct)
0.3: An Abductive-Based Scheduler for Air-Crew Assignment - Kakas, Michael (1998) (Correct)
Similar documents based on text: More All
0.7: Implementing Constraint Solvers: Theory and Practice - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.7: On Confluence of Constraint Handling Rules - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.6: Operational Equivalence of CHR Programs And Constraints - Abdennadher, Frühwirth (1999) (Correct)
Related documents from co-citation: More All
2: SATCHMO: A Theorem Prover Implemented in Prolog (context) - Manthey, Bry - 1988
BibTeX entry: (Update)
Abdennadher, S.; Schutz, H.: CHR : A Flexible Query Language. In this volume. http://citeseer.ist.psu.edu/63781.html More
@misc{ abdennadher-chr,
author = "S. Abdennadher and H. Schutz",
title = "CHR : A Flexible Query Language",
text = "Abdennadher, S.; Schutz, H.: CHR : A Flexible Query Language. In this volume.",
url = "citeseer.ist.psu.edu/63781.html" }
Citations (may not include all citations):156 SATCHMO: A theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
50 Constraint handling rules - Fruhwirth - 1995
49 Minimal model generation with positive unit hyper-resolution.. - Bry, Yahya - 1996
24 Operational semantics and confluence of constraint propagati.. - Abdennadher - 1997
17 A view of the origins and development of Prolog (context) - Cohen - 1988
7 Model generation with existentially quantified variables and.. - Abdennadher, Schutz - 1997
6 chapter Negation as Failure (context) - Clark, Databases - 1978
5 Adding Bottom-up Evaluation to Prolog (context) - Wunderwald - 1996
3 Mixlog: A generalized rule based language (context) - Smith - 1997
3 ECRC Munich (context) - Manual - 1994
1 ECL i PS e (context) - Brisset, Fruhwirth et al.
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/mitarbeiter/abdennad/paper.html): More
The Munich Rent Advisor - Frühwirth, Abdennadher (Correct)
Model Generation with Existentially Quantified Variables.. - Abdennadher, Schütz (1997) (Correct)
Rent Estimates with Constraints over the Internet - .. - Frühwirth.. (1996) (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