Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey  Home/Search
Context Related
| cs.mu.oz.au/~pjs/papers/jlp98.ps.gz luc.edu/~mjm/pubs/cp/clptheory.ps 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: cs.mu.oz.au/~pjs/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents for the first time the semantic foundations of CLP in a self-contained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic constructs from first principles, giving new and complete proofs for the main lemmas. Importantly, we clarify which theorems depend on conditions such as solution compactness, satisfaction completeness and independence of constraints. Second, we generalize ... (Update)
Cited by: More
An Abductive Framework for Information Exchange in.. - Gavanelli, Lamma.. (Correct)
Disunification in ACI1 Theories - Dovier, Piazza, Pontelli (1999) (Correct)
ACI1 constraints - Dovier, Piazza, Pontelli, Rossi (1999) (Correct)
Active bibliography (related documents): More All
0.8: The Semantics Of Constraint Logic Programs - Jaffar, Maher, Marriott, Stuckey (1998) (Correct)
0.5: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.5: A CLP View of Logic Programming - Maher (1992) (Correct)
Similar documents based on text: More All
0.6: Flexible Graph Layout for the Web - Hansen, Marriott, Meyer, Stuckey (2001) (Correct)
0.3: Global Analysis of Constraint Logic Programs - Banda, Hermenegildo.. (1996) (Correct)
0.3: Stable Generated Models of Generalized Constraint Logic Programs - Schwarz (2001) (Correct)
Related documents from co-citation: More All
8: Constraint logic programming: A survey - Jaffar, Maher - 1994
8: Negation as Failure (context) - Clark - 1978
7: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
J. Jaffar, M. Maher, K. Marriott, and P. Stuckey. The semantics of constraint logic programs. Technical Report 96/39, University of Melbourne, November 1996. http://citeseer.ist.psu.edu/jaffar96semantics.html More
@article{ jaffar98semantics,
author = "Joxan Jaffar and Michael J. Maher and Kim Marriott and Peter J. Stuckey",
title = "The Semantics of Constraint Logic Programs",
journal = "Journal of Logic Programming",
volume = "37",
number = "1-3",
pages = "1-46",
year = "1998",
url = "citeseer.ist.psu.edu/jaffar96semantics.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation as failure (context) - Clark - 1978
561 Constraint logic programming (context) - Jaffar, Lassez - 1987
561 Constraint logic programming (context) - Jaffar, Lassez - 1986
373 Constraint logic programming: A survey - Jaffar, Maher - 1994
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
200 Introduction to Mathematical Logic (context) - Mendelson - 1987
181 Mathematical Logic (context) - Shoenfield - 1967
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989
87 Programming with Constraints: An Introduction (context) - Marriott, Stuckey - 1998
43 A theory of complete logic programs with equality (context) - Jaffar, Lassez et al. - 1984
40 Modeling answer constraints in constraint logic programs - Gabbrielli, Levi - 1991
30 Closures and Fairness in the Semantics of Programming Logic (context) - Lassez, Maher - 1984
24 ACM Transactions on Programming Languages (context) - Jaffar, Michaylov et al. - 1992
22 Completeness of the Negation as Failure Rule (context) - Jaffar, Lassez et al. - 1983
16 Prolog-II Manuel de Reference at Modele Theorique (context) - Colmerauer - 1982
9 Semantics of infinite tree logic programming (context) - Jaffar, Stuckey - 1986
9 A unified treatment of resolution strategies for logic progr.. (context) - Wolfram, Maher et al. - 1984
8 Canonical logic programs (context) - Jaffar, Stuckey - 1986
4 A computable semantics for general logic programs (context) - Wallace - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.mu.oz.au/~pjs/papers.html): More
A Unit Two Variable Per Inequality Integer Constraint Solver.. - Harvey, Stuckey (1997) (Correct)
A Lagrangian reconstruction of GENET - Choi (2000) (Correct)
Differential Methods in Logic Program Analysis - Banda, Marriott, Stuckey.. (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