Page 163 - 4495

Computer Technology, Tokyo, 1991.
86. R. W. L. Kam and Jimmy Ho-man Lee. Fuzzifying the con-
straint hierarchies framework. In Michael Maher and Jean-François
Puget, editors, Principles and Practice of Constraint Programming —

CP98, pages 280–294. Springer-Verlag LNCS 1520, 1998.
87. C. K. Chiu and Jimmy Ho-man Lee. Extending HCLP with
partially ordered hierarchies and composite constraints. Journal of Ex-

perimental and Theoretical Artificial Intelligence, 10:5–24, 1998.
88. Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa.
Generalized local propagation: A framework for solving constraint hierar-
chies. In Eugene C. Freuder, editor, Principles and Practice of Constraint

Programming – CP96, pages 237–251. Springer-Verlag LNCS 1118, 1996.
89. Michael Jampel, Jean-Marie Jacquet, David Gilbert, and Sebas-
tian Hunt. Trans- formation between HCLP and PCSP. In Eugene C.

Freuder, editor, Principles and Practice of Constraint Programming‘–
CP96, pages 237–251. Springer-Verlag LNCS 1118, 1996.
90. Michael Benjamin Jampel. Over-Constrained Systems in CLP

and CSP. PhD the- sis, Department of Computer Science City University,
September 1996.
91. Michael Jampel. A compositional theory of constraint hierar-

chies (operational semantics). In Michael Jampel, Eugene Freduer, and
Michael Maher, editors, Procceding of Workshop on Over-Constrained
Systems at CP’95, 1995.
92. Hana Rudová. Constraints with variables’ annotations and con-

straint hierar- chies. In Branislav Rovan, editor, SOFSEM’98: Theory and
Practice of Informatics, pages 409–418. Springer-Verlag LNCS 1521,
1998.

93. Alan Borning, Richard Anderson, and Bjorn Freeman-Benson.
The Indigo al- gorithm. Technical Report TR-96-05-01, Department of
Computer Science and Engineering University of Washington, July 1996.
94. Frédéric Benhamou. Interval constraint logic programming. In

Andreas Podel- ski, editor, Constraint Programming: Basics and Trends,
pages 1–21. Springer- Verlag LNCS 910, 1995.
95. Hana Rudová. Constraints with variables’ annotations. In

Henri Prade, edi- tor, 13th European Conference on Artificial Intelligence
Proceedings, pages 261–262. John Wiley & Sons, Ltd., 1998.
96. Hana Rudová. Over-constrained systems. In Proceedings of

the Sixteenth Na- tional Conference on Artificial Intelligence and the
Eleventh Innovative Applications of Artificial Intelligence Conference,

163