Preface (H. Yoshikawa, T. Holden). Invited Papers: Mental Models (P.N. Johnson-Laird). The Boundaries and Internals of Expert Systems in Engineering Design (S.A. Gregory). Chairperson's Report. Papers from Participants: Reasoning about Geometric Constraints (F. Arbab, B. Wang). A Methodology and Languages for Design Knowledge Acquisition (J.-M. Boyle). Exploiting Knowledge in a CAD/CAM System Architecture (U. Cugini, B. Falcidieno, P. Mussio). Qualitative Kinematics and Computer-Aided Design (B. Faltings). An Intelligent Assistant for the Interactive Design of Complex VLSI Systems (T. Holden). Representation and Manipulation of Product Modeling Process by Using Data Dependency (M. Inui, F. Kimura). Functional Modelling: A New Development in Computer-Aided Design (A.L. Johnson). An Intelligent Mixed Symbolic/Numerical System for the Design of Mechanical Linkages (G.A. Kramer, H.G. Barrow). Position Paper on Intelligent CAD Issues (J. McCullough). Conceptual Combination in CAD (R. Murphy). Design Objects and their Representation for Buildings and Structures (D.R. Rigopoulos, I.J. Oppenheim). GRAFLOG: A Notion of Design for Intelligent CAD (L.A. Pineda, J. Lee, A. Bijl). IBDE, VIKA, ARCHPLAN: Architecture for Design Knowledge Representation, Acquisition, and Application (G. Schmitt). Synthesizing Product's Shapes with Geometric Design Constraints and Reasoning (H. Suzuki, H. Ando, F. Kimura). Logical Formalization of Design Processes for Intelligent CAD Systems (H. Takeda, T. Tomiyama, H. Yoshikawa). Geometric Search Spaces in Design (R. Woodbury, C. Carlson, J. Heisserman). An Architecture of Intelligent CAD Having Natural Language Interface (M. Yukishita, Y. Nakamura, Y. Ishikawa).
