Michael Jampel, Jean-Marie Jacquet mja, Institut...  Home/Search
Context Related
Links: DBLP | web.cs.city.ac.uk/...nsformations.ps.gz cs.city.ac.uk/pub/...mationscp96.ps.gz is.city.ac.uk/~drg...nsformations.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: web.cs.city.ac.uk/...publications (more) From: cs.city.ac.uk/homes/jamp...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a general methodology for transforming between HCLP and PCSP in both directions. HCLP and PCSP each have advantages when modelling problems, and each have advantages when implementing models and solving them. Using the work presented in this paper, the appropriate paradigm can be used for each of these steps, with a meaning-preserving transformation in between if necessary. Keywords: Hierarchical CLP, Partial Constraint Satisfaction, transformation Contact information: Michael... (Update)
Context of citations to this paper: More
.... [23, 24] Jampel provided a formal method for transformations between constraint hierarchies and partial constraint satisfaction problems [51]. Chapter 8 Conclusion and Future Work This chapter concludes the dissertation and provides future directions. 8.1 Conclusion In this...
.... showed that there is a direct correspondence between the constraint hierarchies of HCLP and partial constraint satisfaction problems [20]. We have also examined the application of the notion of preference in the area of deductive databases [14] but we do not go into these...
Cited by: More
Logic Programming with Preferences and Constraints - Jayaraman, Govindarajan, al. (Correct)
Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
Similar documents (at the sentence level): More
59.2%: Over-Constrained Systems in CLP and CSP - Jampel (1996) (Correct)
26.2%: A General Framework for Integrating HCLP and PCSP - Jampel, Jacquet, Gilbert (1996) (Correct)
5.8%: A Compositional Theory of Constraint Hierarchies - Jampel (1995) (Correct)
Active bibliography (related documents): More All
0.1: Fair Hierarchical Constraint Logic Programming - Jampel, Gilbert (1994) (Correct)
0.1: Plug-In Architecture of Constraint Hierarchy Solvers - Bartak (1997) (Correct)
0.1: A Generalized Framework for Constraint Planning - Bartak (1997) (Correct)
Similar documents based on text: More All
0.4: Extending HCLP with Partially Ordered Hierarchies and Composite.. - Chiu, Lee (1998) (Correct)
0.3: Inter-Hierarchy Comparison in HCLP - Bartak (1998) (Correct)
0.3: A Proposed Topology for a 192-Processor Symmetric Cluster - Muga, Yu (Correct)
Related documents from co-citation: More All
3: Hierarchical Constraint Logic Programming - Wilson - 1993
3: Partial Constraint Satisfaction - Freuder, Wallace - 1992
2: Efficient Satisfaction of Constraint Hierarchies with Inequalities (context) - Hosobe, Matsuoka - 1995
BibTeX entry: (Update)
Jampel, M., J.-M. Jacquet, D. Gilbert, and S. Hunt, "Transformations between HCLP and PCSP," in Principles and Practice of Constraint Programming---CP'96 (E. C. Freuder, ed.), vol. 1118 of Lecture Notes in Computer Science, Springer-Verlag, Aug. 1996, pp. 252--266. http://citeseer.ist.psu.edu/36515.html More
@inproceedings{ jampel96transformations,
author = "Michael Jampel and Jean-Marie Jacquet and David Gilbert and Sebastian Hunt",
title = "Transformations Between {HCLP} and {PCSP}",
booktitle = "Principles and Practice of Constraint Programming",
pages = "252-266",
year = "1996",
url = "citeseer.ist.psu.edu/36515.html" }
Citations (may not include all citations):311 Partial Constraint Satisfaction - Freuder, Wallace - 1992 ACM DBLP
311 Partial Constraint Satisfaction - Freuder - 1989 ACM DBLP
221 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
129 Valued Constraint Satisfaction Problems: Hard and Easy Probl.. - Schiex, Fargier et al. - 1995 DBLP
96 Lisp and Symbolic Computation (context) - Borning, Freeman-Benson et al. - 1992
76 Constraint Hierarchies and Logic Programming - Borning, Maher et al. - 1989 DBLP
74 Constraint Solving over Semirings - Bistarelli, Montanari et al. - 1995 DBLP
50 Hierarchical Constraint Logic Programming - Wilson, Borning - 1993 ACM DBLP
50 Hierarchical Constraint Logic Programming - Wilson - 1993 ACM DBLP
21 Extending Hierarchical Constraint Logic Programming: Nonmono.. - Wilson, Borning - 1989 DBLP
18 An Incremental Hierarchical Constraint Solver - Menezes, Barahona et al. - 1993 DBLP
Documents on the same site (http://web.cs.city.ac.uk/homes/drg/publications/publications.html): More
New Versions of Ask and Tell for Synchronous.. - Brim, Gilbert.. (1996) (Correct)
Deriving Logic Programs from Observations - Gilbert, Hogger (1993) (Correct)
A Constraint Based Structure Description Language.. - Eidhammer, Gilbert, .. (1997) (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