Page 162 - 4495

tional Joint Conference on Artificial Intelligence, pages 624–630. Morgan
Kaufmann, 1995.
76. Stefano Bistarelli, Ugo Montanari, and Francesca Rossi.
Semiring-based con- straint logic programming. In Proceedings of the Fif-

teenth International Joint Con- ference on Artificial Intelligence, pages
352–357. Morgan Kaufmann, 1997.
77. Thomas Schiex, Hélène Fargier, and Gérard Verfaillie. Valued

constraint satis- faction problems: Hard and easy problems. In Chris S.
Mellish, editor, Proceed- ings of the Fourteenth International Joint Confer-
ence on Artificial Intelligence, pages 631–639, San Mateo, August 1995.
Morgan Kaufmann.

78. Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca
Rossi, Thomas Schiex, and Gérard Verfaillie. Semiring-based CSPs and
Valued CSPs: Ba- sic properties and comparison. In Michael Jampel,

Eugene Freuder, and Michael Maher, editors, Over-Constrained Systems,
pages 111–150. Springer- Verlag LNCS 1106, August 1996.
79. Alan Borning, Bjorn Freeman-Benson, and Molly Wilson.

Constraint hierar- chies. Lisp and Symbolic Computation, 5(3):223–270,
1992.
80. Alan Borning, Michael Maher, Amy Martindale, and Molly

Wilson. Constraint hierarchies and logic programming. In Giorgio Levi
and Maurizio Martelli, editors, ICLP’89: Proceedings 6th International
Conference on Logic Programming, pages 149–164, Lisbon, Portugal,
June 1989. MIT Press.

81. Molly Wilson and Alan Borning. Hierarchical constraint logic
programming. Journal of Logic Programming, 16(3,4):277–318, 1993.
82. Molly Ann Wilson. Hierachical Constraint Logic Programming.

PhD thesis, Dept. of Computer Science and Engeneering University of
Washington, May 1993.
83. Molly Wilson and Alan Borning. Extending hierarchical con-
straint logic pro- gramming: Nonmonotonicity and inter-hierarchy com-

parison. In Ewing Lusk and Ross Overbeek, editors, NACLP’89: Proceed-
ings North American Conference on Logic Programming, pages 3–19,
Cleveland, Ohio, October 1989. MIT Press.

84. Ken Satoh. Formalizing soft constraints by interpretation order-
ing. Technical Report TR-0513, Institute for New Generation Computer
Technology, Tokyo, May 1990.
85. Ken Satoh and Akira Aiba. The hierarchical constraint logic

language CHAL. Technical Report TR-0592, Institute for New Generation

162