| Alternate document: Details Constraint Logic Programming: A Survey (94) Joxan Jaffar, Michael J. Maher |
Joxan Jaffar, Michael J. Maher  Home/Search
Context Related
| luc.edu/~mjm/pubs/clpsurvey.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: luc.edu/~mjm/pubs/ (more) Homepages: J.Jaffar M.Maher |
Rate this article:      (best)Comment on this article |
Abstract: Constraint Logic Programming (CLP) is a merger of two declarative paradigms: constraint solving and logic programming. Although a relatively new field, CLP has progressed in several quite different directions. In particular, the early fundamental concepts have been adapted to better serve in different areas of applications. In this survey of CLP, a primary goal is to give a systematic description of the major trends in terms of common fundamental concepts. The three main parts cover the theory, ... (Update)
Cited by: More
A Reasoning Tool for Timed CSP based on Constraint Solving - Jin Song Dong (Correct)
Timetabling at German Secondary Schools: - Tabu Search Versus (Correct)
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
Active bibliography (related documents): More All
1.0: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.5: Ordering Constraints over Feature Trees - Müller, Niehren (1999) (Correct)
0.2: LIFE - A Natural Language for Natural Language - Aït-Kaci, Lincoln (1988) (Correct)
Similar documents based on text: More All
0.5: Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1993) (Correct)
0.2: Pair-Based Subrecursion - Voda (1994) (Correct)
0.2: An Optimizing Compiler for CLP(R) - Andrew Kelly Andrew (1995) (Correct)
Related documents from co-citation: More All
23: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
18: Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1990
17: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503 -- 581, 1994. http://citeseer.ist.psu.edu/jaffar94constraint.html More
@article{ jaffar94constraint,
author = "Joxan Jaffar and Michael J. Maher",
title = "Constraint Logic Programming: A Survey",
journal = "Journal of Logic Programming",
volume = "19/20",
pages = "503-581",
year = "1994",
url = "citeseer.ist.psu.edu/jaffar94constraint.html" }
Citations (may not include all citations):125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
119 LOGIN: A Logic Programming Language with Built-in Inheritanc.. (context) - Ait-Kaci, Nasr - 1986
77 Temporal Logic Programming (context) - Abadi, Manna - 1989
52 Towards a Meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
39 An Algebraic Semantics Approach to the Effective Resolution .. (context) - Ait-Kaci - 1986
37 Overview of the CHIP Compiler System (context) - Aggoun, Beldiceanu - 1993
30 Constraint Logic Programming Language CAL (context) - Aiba, Sakai et al. - 1988
21 A Feature-based Constraint System for Logic Programming with.. (context) - Ait-Kaci, Podelski et al. - 1992
11 Extending CHIP to Solve Complex Scheduling and Packing Probl.. (context) - Aggoun, Beldiceanu - 1992
10 Average-case Analysis of Unification Algorithms (context) - Albert, Casas et al. - 1993
5 Le Fun: Logic Equations and Functions (context) - Ait-Kaci, Lincoln et al. - 1987
2 A General Residuation Framework (context) - Ait-Kaci, Podelski - 1993
2 Entailment and Disentailment of Order-Sorted Feature Constra.. - Ait-Kaci, Podelski - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.luc.edu/~mjm/pubs/): More
Elimination of Negation in Term Algebras - Lassez, Maher, Marriott (1991) (Correct)
Toward Practical Query Evaluation for Constraint Databases - Brodsky, Jaffar, Maher (1997) (Correct)
A Logic Programming View of CLP - Maher (1993) (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