Generalized local propagation: A framework for solving constraint hierarchies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1118, Issue , 1996, Pages 237-251

  Hosobe, Hiroshi ^a   Matsuoka, Satoshi ^b   Yonezawa, Akinori ^a  

^a Department of Information Science ^*  (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

Constraint hierarchies; Local propagation; Multi way constraints; Nonmonotonicity

Indexed keywords

EID: 21444445269     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61551-2_78     Document Type: Conference Paper

References (13)

1. Borning, A., R. Duisberg, B. Freeman-Benson, A. Kramer, and M. Woolf, "Constraint Hierarchies," in OOPSLA '87, ACM, Oct. 1987, pp 48-60.
2. Borning, A., B. Freeman-Benson, and M. Wilson, "Constraint Hierarchies," Lisp and Symbolic Computation, vol. 5, 1992, pp. 221-268.
3. Freeman-Benson, B. N. and A. Borning, "Integrating Constraints with an Object-Oriented Language," in ECOOP'92, no. 615 in LNCS, Springer-Verlag, June/July 1992, pp 268-286.
4. Freeman-Benson, B. N., J. Maloney, and A. Borning, "An Incremental Constraint Solver", Comm. ACM, vol. 33, no. 1, Jan. 1990, pp 54-63.
5. Freuder, E. C. and R. J. Wallace, "Partial Constraint Satisfaction," Artificial Intelligence, vol. 58, 1992, pp 21-70.
6. Hosobe, H., K. Mjyashita, S. Takahashi, S. Matsuoka, and A. Yonezawa, "Locally Simultaneous Constraint Satisfaction," in PPCP'94, no. 874 in LNCS, Springer-Verlag, Oct 1994, pp 51-62.
7. Jampel, M., "A Compositional Theory of Constraint Hierarchies (Operational Semantics)," in Proc. Workshop on Over-Constrained Systems at CP'95, Sept 1995.
8. Maloney, J. H., A. Borning, and B. N. Freeman-Benson, "Constraint Technology for User-Interface Construction in ThingLab II," in OOPSLA '89, ACM, Oct 1989 pp 381-388.
9. Sannella, M., "SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction," in UIST'94, ACM, Nov 1994, pp 137-146.
10. Satoh, K. and A. Aiba, "Computing Soft Constraints by Hierarchical Constraint Logic Programming," Tech. Rep. TR-610, ICOT, Japan, Jan 1991.
11. Wilson, M., "Hierarchical Constraint Logic Programming (Ph.D. Dissertation)", Tech. Rep. 93-05-01, Dept. of Computer Science and Engineering, University of Washington, May 1993.
12. Wilson, M. and A. Borning, "Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison," in Proc. North American Conference on Logic Programming, 1989.
13. Wilson, M. and A. Borning, "Hierarchical Constraint Logic Programming" J. Logic Programming, vol. 16, no. 3/4, July/Aug. 1993, pp 277-319.