Jampel, M., "A Compositional Theory of Constraint Hierarchies (Operational Semantics)," in Over-Constrained Systems, vol. 1106 of Lecture Notes in Computer Science, Springer-Verlag, Aug. 1996, pp. 189--206. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
.... integrated constraint hierarchies with logic programming as hierarchical constraint logic programming (HCLP) and explored theoretical properties of HCLP [11, 90, 91, 92, 93] Jampel constructed a certain HCLP instance that separates the HCLP scheme into compositional and non compositional parts [50]. The method is expected to improve the efficiency of interpreters and compilers since the compositional part is efficiently implementable. Wolf formalized ordered constraint hierarchies by defining a hierarchy comparator that makes constraints totally ordered in each level, and also provided a ....
Jampel, M., "A Compositional Theory of Constraint Hierarchies (Operational Semantics)," in Over-Constrained Systems, vol. 1106 of Lecture Notes in Computer Science, Springer-Verlag, Aug. 1996, pp. 189--206.
Generalized Local Propagation: A Framework for Solving.. - Hosobe, Matsuoka.. (1996) (18 citations) (Correct)
.... on theoretical properties did not cover local propagation on constraint hierarchies, but rather mainly focused on hierarchical constraint logic programming (HCLP) 11, 12, 13] Jampel constructed a certain HCLP instance that separates the HCLP scheme into compositional and non compositional parts [7]. The method is expected to improve the efficiency of interpreters and compilers since the compositional part is efficiently implementable. However, it is unclear whether such a method is applicable to local propagation. Freuder and Wallace proposed partial constraint satisfaction for handling ....
Jampel, M., "A Compositional Theory of Constraint Hierarchies (Operational Semantics) ," in Proc. Workshop on Over-Constrained Systems at CP'95, Sept. 1995.
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