A principled approach towards symbolic geometric constraint satisfaction

Journal of Artificial Intelligence Research

Volumn 4, Issue , 1996, Pages 419-443

  Bhansali, Sanjay ^a   Kramer, Glenn A ^b   Hoar, Tim J ^c  

^a WASHINGTON STATE UNIVERSITY   (United States)

^b Enterprise Integration Technologies   (United States)

^c MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; PROBLEM SOLVING;

GEOMETRIC REASONING; PLAN FRAGMENTS;

ARTIFICIAL INTELLIGENCE;

EID: 0029678858     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.292     Document Type: Article

References (19)

1. Anantha, R., Kramer, G., & Crawford, R. (1992). An architecture to represent over, under, and fully constrained assemblies. In Proceedings of ASME Winter Annual Meeting, 233-244.
2. Borgida, A., Mylopoulos, J., & Reiter, R. (1993). ... and nothing else changes: the frame problem in procedure specifications. In Proceedings of the 15th International Conference on Software Engineering, Baltimore, MD.
3. Brown-Associates. (1993). Applicon's GCE: A Strong Technical Framework. Brown Associates Inc.
4. Brunkhart, M. W. (1994). Interactive geometric constraint systems. Master's thesis, TR No. CSD-94-808, Department of EE&CS, University of California, Berkeley.
5. Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 198-208.
6. Friedland, P. E. (1979). Knowledge-based experiment design in molecular genetics. Tech. report CSD-79-771, Department of Computer Science, Stanford University.
7. Hartenberg, R. S., & Denavit, J. (1964). Kinematic Synthesis of Linkages. New York: McGraw Hill.
8. Heydon, A., & Nelson, G. (1994). The Juno-2 constraint-based drawing editor. SRC Research report 131a, Digital Systems Research Center, Palo Alto, CA.
9. Hoar, T. (1995). Automatic program synthesis for geometric constraint satisfaction. Master's Thesis, School of EECS, Washington State University.
10. Kramer, G. A. (1992). Solving Geometric Constraint Systems: A Case Study in Kinematics. Cambridge, MA: MIT Press.
11. Kramer, G. A. (1993). A geometric constraint engine. Artificial Intelligence, 58(1-3), 327-360.
12. Liu, Y., & Popplestone, R. J. (1990, ). Symmetry constraint inference in assembly planning: automatic assembly configuration specification. In Proceedings of AAAI-90, Boston, MA, 1038-1044.
13. Lozano-Perez, T. (1983). Spatial planning: A configuration space approach. IEEE Transactions on Computers, C-32, 108-120.
14. Press, W. H., Flannery, B. P., Teukolsky, S. A., & Vetterling, W. T. (1986). Numerical Recipes: The Art of Scientific Computing. Cambridge, England: Cambridge University Press.
15. Salomons, O. (1994). Computer support in the design of mechanical products. Ph.D. Thesis, Universiteit Twente, Netherlands.
16. Serrano, D. (1987). Constraints in conceptual design. Ph.D. thesis, Massachusetts Institute of Technology.
17. Shah, J. J., & Rogers, M. T. (1993). Assembly modeling as an extension of feature-based design. Research in Engineering Design, 5, 218-237.
18. Sussman, G. J. (1975). A Computer Model of Skill Acquisition. New York: American Elsevier.
19. Sutherland, I. E. (1963). Sketchpad, a man-machine graphical communication system. Ph.D. Thesis, Massachusetts Institute of Technology.