| Alternate document: Details A Compositional Theory of Constraint Hierarchies (Operational Semantics) (95) Michael Jampel |
Michael Jampel  Home/Search
Context Related
| soi.city.ac.uk/papers/95/cs955.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: web.cs.city.ac.uk/b...authors.cgi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a variant of the Hierarchical Constraint Logic Programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint Logic Programming, introduce HCLP, and present Wilson's proof [11] that it is non-compositional and non-monotonic. We define a scheme for composing together solutions to individual hierarchies and show that hierarchy composition can be expressed very simply using bags (multisets). We have developed an alternative to bag ... (Update)
Context of citations to this paper: More
...due to its relationship with incrementality of implementations. This is discussed in much greater detail in some of our earlier papers [10, 9], and also in [11] Gocs is as compositional as it is possible for a system to be when it includes preferences and partiality; it is a...
...compositionality, it is necessary to provide an overview of HCLP. 1 For example, X 4 over the finite domain 0. 10 will give rise to 6 solutions. 1.3 Hierarchical Constraint Logic Programming A good introduction to HCLP can be found in Molly Wilson s PhD thesis [ 10,...
Cited by: More
A Compositional Theory of Constraint Hierarchies (Operational.. - Jampel (1995) (Correct)
A General Framework for Integrating HCLP and PCSP - Jampel, Jacquet, Gilbert (1996) (Correct)
Similar documents (at the sentence level):
47.0%: Over-Constrained Systems in CLP and CSP - Jampel (1996) (Correct)
Active bibliography (related documents): More All
0.3: Extending HCLP with Partially Ordered Hierarchies and Composite.. - Chiu, Lee (1998) (Correct)
0.2: Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
0.2: Hierarchical Constraint Logic Programming - Wilson, Borning (1993) (Correct)
Similar documents based on text: More All
0.4: Transformations between HCLP and PCSP - Michael Jampel (1996) (Correct)
0.4: Fair Hierarchical Constraint Logic Programming - Jampel, Gilbert (1994) (Correct)
0.3: Computational Lexical Semantics, Incrementality, and the.. - Caudal (Correct)
Related documents from co-citation: More All
4: Hierarchical Constraint Logic Programming - Wilson - 1993
2: Composition in Hierarchical CLP (context) - Jampel, Hunt - 1995
2: Constraint Hierarchies and Logic Programming - Borning, Maher et al. - 1989
BibTeX entry: (Update)
Michael Jampel. A Compositional Theory of Constraint Hierarchies (Operational Semantics) . In OCS'95: Workshop on Over-Constrained Systems at CP'95, Cassis, Marseilles, 18 September 1995. http://citeseer.ist.psu.edu/jampel95compositional.html More
@article{ jampel96compositional,
author = "M. Jampel",
title = "A Compositional Theory of Constraint Hierarchies",
journal = "Lecture Notes in Computer Science",
volume = "1106",
pages = "189--??",
year = "1996",
url = "citeseer.ist.psu.edu/jampel95compositional.html" }
Citations (may not include all citations):223 The Art of Computer Programming (context) - Knuth - 1969
221 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM 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
59 A Logical Approach to Discrete Math (context) - Gries, Schneider - 1994 ACM
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 Constraint Programming and Graph Algorithms (context) - Gangnet, Rosenberg - 1992 ACM DBLP
18 An Incremental Hierarchical Constraint Solver - Menezes, Barahona et al. - 1993 DBLP
10 Formalizing Soft Constraints by Interpretation Ordering (context) - Satoh - 1990 DBLP
4 Composition in Hierarchical CLP (context) - Jampel, Hunt - 1995 DBLP
2 An OrCompositional Semantics for Logic Programs - Bossi, Gabbrielli et al. - 1993
Documents on the same site (http://web.cs.city.ac.uk/bibliography/cs/authors.cgi): More
Fair Hierarchical Constraint Logic Programming - Jampel, Gilbert (1994) (Correct)
The CBIC: Architectural support for message passing or shared .. - Whitcroft, Osmon (1992) (Correct)
Category Theory for the Configuration of Complex Systems - Hill (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