Bibliography — Artificial intelligence in design

Bibliography - Artificial intelligence in design

A. D u f f y

CAD Centre, University o f Strathclyde, Glasgow, U K

The bib l iography conta ins over 300 references to articles writ ten in English in the last decade up to the end of 1986. The selection of references for the bibl iography was directed by their relevance to the use of artificial intelligence techniques to assist in the engineering/archi tectural design process. Thus no a t tempt has been made, for example, to cover the wide range of papers in electronic C A D unless they have more general relevance.

It is p lanned to keep this b ibl iography up- to-date and we would welcome submissions of full titles, references and abstracts from anyone who would like an entry included.

ACM Conference on Knowledge Engineering, R & D Manage, (GB), April 1985, 15(2)

AKIN, O. How do Architects Design? in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 65-104

AKINER, V. T. TOPOLOGY1 - A System that Reasons About Objects and Spaces in Buildings, PhD Thesis (unpublished), Department of Architectural Science, University of Sydney, 1984

ALDRIDGE, J., CERUTTI, J., DRAISIN, W. and STEUERWALT, M. Expert Assistants for Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, .(ed. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1, 445-455

ANDREWS, D. Outline of PADIS (Procedure for Analysing the Design of Interactive Solutions), Aeronaut. September 1979, 83, 344-349, 384-388

ARBAB, F. and WING, J. M. Geometric Reasoning: A New Paradigm for Processing Geometric Information in IFIP. W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1-3 1985, 107-121

ARNOLD, D. B. On Fifth Generation Systems and their Implications for Computer Aided Design in Computer Graphics Tokyo '84 Proceedings, Tokyo, April 1984, T4-2/1-14

ARORA, J. S. and BAENZIGER, G. Uses of Artificial Intelligence in Design Optimization, Comput-Methods-Appl-Mech-Eng (Netherlands), March 1986, 54(3), 303-323

ARVA, P. and CSUKAS, B. Fuzzy Relations in Chemical Engineering Design in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE '86, May 1986, 363-378

BALRAM, N., BIRMINGHAM, W. P., BRADY, S., TREMAIN, R. and SIEWlOREK, D. P. The MICON System for Single Board Computer Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 2, 899-910

BARBUCEANU, M. Object-Centred Representation and Reasoning: An Application to Computer-Aided Design, SIGART Newsletter, 1984, 87, 33-39

BARBUCEANU, M. and FLOREA, A. Domain-Independent Knowledge Engineering Environment for CAD, SIGART Newsletter, Special section on AI in Engineering, 1985, 92, 104-106

BARBUCEANU, M. An Object-centred Framework for Expert Systems in Computer-aided Design in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 223-258

BASSI, A. From the First Line to the Prototype (CAD, CAM, FMS) in ISATA. Proceedings of International Symposium on Automative Technology and Automation, Milan, Italy, September 1984

BATALI, J. and HARTHEIMER, A. The Design Procedure Language Manual, Massachusetts Institute of Technology Artificial Intelligence Laboratory A.I. Memo No. 598, V.I.S.I. Memo 80-31, Massachusetts Institute of Technology, Massachusetts, September 1980, 1-81

BATALI, J. Dependency Maintenance in the Design Process in Proceedings IEEE International Conference on Computer Design: VLSI in Computers, New York, 1983, 405-407

BEGG, V. Developing expert CAD systems, Kogan Page, London, 1984 BENNETT, J., CREARY, L., ENGELMORE, R. and MELOSH, R.

SACON: A knowledge based consultant for structural analysis in Proc. Sixth IJCAI, 1979, 47-49

BIJL, A. An Approach to Design Theory in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 1-23

BLANDFORD, S. and HOPE, R. P. Systematic methods for the problem solving process with particular reference to design, IEEE Proc. A, July 1985, 132, 199-212

BOCQUET, J. C. and TICHKIEWlTCH, S. An 'expert system' for Identification of Mechanical Drawings in Advances in CAD~CAM, PROLAMAT82, (eds T. M. R. Ellis and O. I. Semenkov), North- Holland Publishing Company, Leningrad USSR, 1982

BOCQUET, J. C. and TICHKIEWlTCH, S. An expert system for reconstruction of mechanical object from projections in Proceedings of PRIP 82. IEEE Computer Society Conference on Pattern Recognition and Impage Processing, IEEE, Las Vegas, NV, USA, June 1982, 491-496

BOGO, G. CASSANDRE and the Computer Aided Logical System Design in IFIP Congress, Yugoslavia, 1971

BOHACHEVSKY, I. O., VISWANATHAN, V. K. and WOODFIN, G. Intelligent Optical Design Program, Report LA-UR-84-910, Los Almos National Lab., New Mexico, 1984

BOWEN, J. A., CORNICK, T. C. and BULL, S. P. BERT - An expert system for brickwork design in Proc. Expert Systems "86, Research and Development in Expert Systems 3, (ed. M. A. Bramer), Brighton, December 1986, 207-216

BRANDER, J. LAKER, D. and SARATCHANDRAN, P. The Orion Project, Sigart Newsletter, 1985, (92), 69-70

BREMDAL, B. A. Marine Design Theory and the Application of Expert Systems in ICCAS, 1985, 227-236

BREMDAL, B. A. and KRISTIANSEN, Concept Definition in Marine System Design in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,403-421

BROTCHIE, J. F., SHARPE, R. and MARKSJO, B. Introducing Intelligence and Knowledge into CAD in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer..Verlag, Southampton University, UK, April 1986, 2, 797-810

BROWN, D. C. and CHANDRASEKARAN, B. Knowledge and Control for a Mechanical Design Expert System, Computer, 19, 92- 100

BROWN, D. C. and CHANDRASEKA~RAN, B. An Approach to Expert Systems for Mechanical Design in Proc. ~ends and Applications on Automating Intelligent Behaviour: Applications and Frontiers, IEEE Computer Soc. NBS, Gaithersburg, 1983, 173-180

BROWN, D. C. and CHANDRASEKARAN, B. Expert Systems for

0267-9264/87/030173 -9752.00 © 1987 Computational Mechanics Publications Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3 173

Bibliography - Artificial intelligence in design: A. Duffy

Research Problem Solving Using Design Refinement with Plan Selection and Redesign, Sigart Newsletter, 1985, (92), 70-71

BROWN, D. C. and CHANDRASEKARAN, B. Expert Systems for a Class of Mechanical Design Activity in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 259-290

BROWN, D. C. Failure Handling in a Design Expert System, CAD, 1985, 17(9), 436-442

BROWN, D. C. Capturing Mechanical Design Knowledge in Proc. ASME Int. Comp. Eng. Conf., Boston, MA, USA, 1985

BROWN, D. C. and CHANDRASEKARAN, B. Plan Selection in Design Problem-Solving in Proc. AISB85 Conf., University of Warwick, 1985

BROWN, D. C. and BREAU, R. Types of Constraints in Routine Design Problem-Solving in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 1,383-390

BROWN, D. C. Expert System Problem-Solving Applications in ACM Fourteenth Annual Computer Science Conference: CSC '86 Proceedings, Cincinnati, OH, USA, February 1986, 420

BURROW, L. D. The 'Design and Productivity' Alvey Demonstrator in International Conference on the Development of Flexible Automation Systems (Conf. Publ. No. 237), IEEE, London, UK, July 1984, 114-123

BUSCHMANN, H. Pr6grammed learning processes to assist engineering design, Maschinenmarkt (Germany), December 1981, 87(97), 2112-2115 (in German)

CABODI, G., CAMURATI, P. and PRINETTO, P. Application of Artificial Intelligence Techniques to Design for Testability Verification in Mini and Microcomputers and their Applications, Proceedings of the ISMM International Symposium, (ed. E. Luque), Int. Soc. Mini and Microcomput., Barcelona, Spain, Sant Feliu de Guixols, Spain, June 1985, 7-10

CHALFAN, K. M. A Knowledge System that Integrates Heterogeneous Software for a Design Application, The AI Magazine, Summer 1986, 7(2), 80-84

CHAO, N. Application of a Knowledge Based System to Design for Manufacture in IEEE Int. Conf. on Robotics and Automation, March 1985, 182-185

CHOLVY, J. and FOISSEAU, J. ROSALIE: a CAD object oriented and rule-based system in Proc. IFIP'83, Paris, 1983

CHOLVY, L. and FOISSEAU, J. in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 205-221

CLOAREC, J.-F., CUDELOU, J.-F. and COLLET, J. A Configurer for Switching System Software Based on the Knowledge about the Assembling of Program Modules in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.B. (North-Holland), 1985, 375-392

COLE, J. H. STOLL, H. W. and VAN DYKE PARUNAK, H. Machine Intelligence in Machine Design: Workshop Summary, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 54-58

COMPUTER APPLICATIONS RESEARCH UNIT Interactive CAD and Modelling System - consolidation of info., Dept. of Arch. Science, University of Sydney, 1982

CORBY, O. Blackboard Architectures in Computer Aided Engineering, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1(2), 95-98

COYNE, R. D., GERO, J. and ROSENTHAL, A. Semantics in Design Languages: Design Knowledge and Planning, Sigart Newsletter, 1985, 64

COYNE, R. D. and GERO, J. S. Design Knowledge and Sequential Plans, Environment and Planning B, 1985, 12, 401-418

COYNE, R. D. and GERO, J. S. Design Knowledge and Context, Environment and Planning B, 1985, 12, 419-442

COYNE, R. D. Knowledge-Based Planning Systems and Design: A Review, Architectural Science Review, 1985, 28(4), 95-103

COYNE, R. D. and GERO, J. S. Semantics and the Organisation of Knowledge in Design, Design Computing, 1986, 1, 68-69

COYNE, R. D. A Logic Model of Design Synthesis, PhD Thesis, Department of Architectural Science, University of Sydney, 1986

CUGINI, U., MUSSIO, P., CAVAGNA, C. and MERAVIGLIA, A. On an Image Generation and Recognition System in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 429- 456

CULLINGFORD, R. E., KRUEGER, M. W., SELFRIDGE, M. and BIENKOWSKI, M. A. Automated Explanations as a Component of a

Computer-Aided Design System, IEEE Transactions on Systems, Man. and Cybernetics, March/April 1982, SMC-12(2), 168-181

CURRAN, A. R. and LEIFER, L. A. An Intelligent Control System Design Aid in Unknown

DAS, M. L. and JOSYULA, S. V. Knowledge Base for Structural Design in Application of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 33-44

DAVIDSON, P. L. Computer Aided Decision Making: An Expert System for the Elaboration of Design Strategies, Computers in Engineering, 1985, 1,509-514

DEMO, B. and TILLI, M. Expert System Functionalities for Database Design Tools in Applications of Artificial Intelligence in Engineering Problems. 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1073-1082

DINCBAS, M. A Knowledge Based System for Automatic Analysis and Synthesis in CAD in Proc. IFIP, 1980

DIXON, J. R., SIMMONS, M. K. and COHEN, P. R. An Architecture for Application of Artificial Intelligence to Design in Proceedings ACM IEEE 21st Design Automation Conference, 634-640

DIXON, J. R. and SIMMONS, M. K. Computers that Design: Expert Systems for Mechanical Engineers, Computers and Mechanical Engineering, November 1983, 2(3), 10-17

DIXON, J. R. and SIMMONS, M. K. Expert Systems for Engineering Design: Standard V-Belt Drive Design as an Example of the Design- Evaluate-Resdesign Architecture in Proceedings Computers in Engineering A.S.M.E., Las Vegas, Nevada, 1984, 332-337

DIXON, J. R. Artificial Intelligence and Design: A Mechanical Engineering View in Proc. AAAI-86. 5th National Conference on AI, August 1986, 2, 872-877

DUFFY, A. Computer Modelling of Early Stage Numerical Ship Design Knowledge and Expertise, PhD Thesis, Strathclyde University, Glasgow, 1986

DYER, M. G. and FLOWERS, M. Automating Design Invention in Proceedings of AUTOFACT 6 Conference, Computer Automated Systems Association of SME, Dearborn, Mochigan, October 1984

DYER, M. G., FLOWERS, M. and HODGES, J. EDISON: An Engineering Design Invention System Operating Naively, Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 3~44

DYM, C. L. Expert Systems: New approaches to computer aided engineering in Proc. 25th AIAA-ASME-ASCE-AHS Structures, Structural Dynamics and Materials Conf., California, 1984

EASTMAN, C. M. Cognitive Processes and Ill-Defined Problems a Case Study from Design in 1st IJCAI, Washington DC, 1969

EASTMAN, C. H. Heuristic Algorithm for Automated Space Planning in 2nd IJCIA, London, 1971

EASTMAN, C. M. Automated Space Planning, Artificial Intelligence, 1973, 4(1)

EASTMAN, C. M. General Purpose Building Description Systems, CAD, 1976, 8(1), 17-26

EASTMAN, C. and HENRION, M. GLIDE: A Language for Design Information Systems, Computer Graphics, Quarterly Report of SIGGRAPH-ACM, Summer 1977, 11(2), 24-33

EASTMAN, C. M. The Representation of Design Problems and Maintenance of their Structure in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 335-372

EASTMAN, C. and THORNTON, R. A Report on the GLIDE 2 Language Definition in Institute of Building Sciences, Department of Architecture, Carnegie-Mellon University, Pittsburgh, PA 15213, 22 March 1979, 1-55

EASTMAN, C. M. Recent Developments in Representation in the Science of Design, Design Studies, July 1982, 3(1), 45-52

ELIAS, A. L. Computer Aided Engineering: The AI Connection, Astronautics and Aeronautics, 1983, 7-8

ENCARNACAO, J. L., MESSINA, L. A. and MARKOV, Z. I. Models and Methods for the implementation of decision support systems aiming at the evaluation and selection of CAD-systems in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 213-230

ENSOR, J. R. and GABBE, J. D. Transactional Blackboards, Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1(2), 80-84

FARKAS, J., FILEMAN, J., MARKUS, A. and MARKUSZ, Z. Fixture design by PROLOG in MICAD-82, Paris, 1982

FAUGHT, W. S. Applications of AI in Engineering, Computer, 19, 17- 27

174 Artif icial Intell igence in Engineering, 1987, Vol. 2, No . 3

FENVES, S. J. Representation of the CAD Process by a Network Of Decision Tables, Computers and Structures, 1973, 3(5), 1099-I 107

FENVES, S. J. and NORABHOOMPIPAT, T. Potential for Artificial Intelligence Applications in Structural Engineering Design and Detailing in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 105-122

FENVES, S. J. and RASDORF, W. J. Treatment of Engineering Design Constraints in a Relational Database, Technical Report DRC-12-14- 82, Design Research Centre, Carnegie-Mellon University, 1982

FENVES, S. J. and SRIRAM, D. DESTINY: A Knowledge-Based Approach to Integrated Structural Design, Sigart Newsletter, 1985, (92), 66-67

FENVES, S. J. and GARRETT, J. H. Knowledge Based Standards Processing, Int. J. for AI in Engineering, 1986, 1(1), 3-14

FILER, N. P. Explanation by an Expert System for Computer Aided Computer Design in Workshop on 'Explanation', Alvey IKBS Expert Systems Theme, Guildford England, Alvey Directorate, London, England, Guildford, England, March 1986, 66-68

FJELLHEIM, R. and SYVERSEN, P. An Expert System for SESAM- 69 Structural Analysis Program Selection, Technical Report CP-83- 6010, Div. for Data Teeh., Computas, Norway, 1983

FJELLHEIM, R. A. A Knowledge Based Interface to Process Simulation in AI Applied to Simulation, Proceedings of the European Conference, Ghent, Belgium, (eds E. J. H. Kerckhoffs, G. C. Vansteenkiste and B. P. Zeigler, SCS, San Diego, CA, USA, Ghent, Belgium, February 1985, 97-102

FLEMMING, U., COYNE, R., GLAVIN, T. and RYCHENER, M. A Generative Expert System for the Design of Building Layouts in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 811-821

FOO, Y.-P. and KOBAYASHI, H. A Framework for Managing VLSI CAD Data in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 889-898

FOX, M. S. and BAYKAN, C. A. WRIGHT: An Intelligent CAD System, SIGART Newsletter, Special section on AI in Engineering, 1985, (92), 61-62

FUKUDA, S. A Graph Theory Approach to the Assurance of Structural Integrity Construction of a Decision Support System using Prolog in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 41-46

FUKUDA, S. Development of an Expert System for the Design Support of an Oil Storage Tank in Applications of Artificial Intelligence in Engineering Problems, 1st lnternation Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlage, Southampton University, UK, April 1986, 2, 791- 796

FURUTA, H . , TU, K.-S. and YAO, J. T. P. Structural Engineering Applications of Expert Systems, CAD, November 1985, 17(9), 410- 419

GENESERETH, M . R.'Diagnosis using Hierarchial Design Models in Proceedings 2nd NCAI, Pittsburgh, 1982, 278-283

GERO, J. S., RADFORD, A. D. and MURTHY, N. S. H. What if?. - Exploring the Consequences of Design and Performance Decisions in CAD in CAD '82, Butterworths, Guildford, 1982, 633-646

GERO, J. S. Knowledge Engineering - Future of Computers in Engineering, Unpublished presentation of the Instn of Engs, Australia, 1983

GERO, J. S. and RADFORD, A. D. Knowledge Engineering and Computer Graphics in Graphics 83, ACGA, Sydney, 1983, 140-143

GERO, J. S. and SAMBURA, A. Knowledge Based Drafting Systems in Graphics 83, ACGA, 1983, 29-31

GERO, J. S. Object Modelling Through Knowledge Engineering in Application of AI to Manufacture Engineering, CIRP, Tokyo, 1984, 19-25

GERO, J. S. and COYNE, R. D. Logic Programming as a Means of Representing Semantics in Design Languages, Working Paper, Computer Applications Res. Unit, Department of Architectural Science, University of Sydney, 1984

GERO, J. S. and COYNE, R. D. Knowledge-based Planning as a Design Paradigm in IFIP W.G.5.2 Working Conference in Design Theory for CAD, Tokyo, October 1985, 261-295

GERO, J. S. ed. CAD - Special Expert System Issae, CAD, November 1985, 17(9)

GERO, J. ed. Knowledge Engineering in CAD in Proc. IFIP W.G.5.2 Working Conf., North-Holland, Amsterdam, 1985


GERO, J., MacKENZIE, C., RADFORD, A. and BALACHANDRA, B. Knowledge Acquisition for Design Oriented Expert Systems, Sigart Newsletter, Special issue on AI in Engineering, 1985, 62

GERO, J., ROSEMAN, M. and OYNE, R. Expert Systems for Design and Analysis in SIGARTNewsletter, 1985, 62-61

GERO, J., RADFORD, A., AKINER, T. and PLUME, J. Knowledge Based Object Modelling for Computer Aided Architectural Design in SIGART Newsletter, 1985, 92, 63

GERO, J. S., RADFORD, A. D. COYNE, R. and AKINER, V. T. Knowledge-based Computer Aided Architectural Design in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985

GERO, J. S. An Overview of Knowledge Engineering and its Relevance to CAAD, Sydney University, Department of Architectural Science, (Comp Apptns Research Unit Working Paper), 1985

GERO, J. S. Expert Systems in Design and Analysis in National Engineering Conference, IE Aust., 1985, 211-217

GERO, J. S. The USE of Prolog in Computer-Aided Design, Computer- Aided Design and Manufacture, Pergamon Infotech, Maidenhead, 1985, 11-24

GERO, J. S. and COYNE, R. D. Developments in Expert Systems for Design Synthesis, Expert Systems in Civil Engineering, ASCE, 1986, 193-203

GERO, J. S. and BALACHANDRAN, M. Knowledge and Design Decision Processes in Applications of AI to Eng. Problems, (eds D. Sriram and R. Adey), 1986, 343-352

GERO, J. S., OXMAN, R. and MANAGO, C. Graphics and Expert Systems, AUSGRAPH86 (to appear)

GERO, J. S., RADFORD, A. D., ROSENMAN, M. A., COYNE, R. D., BALACHANDRAN, M. and MacKENZIE, C. Knowledge- based building design, Working Paper, Dept. Arch. Sc., Sydney University, 1986

GILMORE, J. F. Knowledge Base Systems in Computer Aided Technology in Proceedings of the 23rd IEEE Conference on Decision and Control, IEEE, New York, USA, Las Vegas, NV, USA, December 1984, 1,586-590

GLOESS, P. Y. and MARCOVICH, J. OBLOGIS, A Flexible Flavour Implementation of PROLOG Logic and Its Application to the Design of a Broaching Expert System in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1, 1- 2O

GLUSHKOV, V. M., STOGNII, A. A., BIBA, I. G., VASHCHENKO, N. D., GALAGAN, N. I., GLADUN, V. P., RABINOVICK, Z. L., SAKUNOV, I. A. and KHOMENKO, L. V. Automated Systems for Creative Processes in Scientific Research, Design, and Robotics, Cybernetics (USA), Kibernetika, USSR, November-December 1981, 17(6), 840--847

GRABOWSKI, H. and EIGNER, M. Semantic datamodel requirements and realisation with a rational datastructure, CAD, May 1979, 11, 158-168

GRABOWSKI, H. and SEILER, W. Techniques, Operations and Models for Functional and Preliminary Design Phases in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985

GREEN, S. SPACES - A system for the representation of commonsense knowledge about space for design in Proc. Expert Systems "86, Research and Development in Expert Systems 3, (ed. M. A. Bramer), Brighton, December 1986, 195-206

GUERRIERI, E. and GROVER, V. Octree Solid Modeling with Prolog in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 985-1001

GUPTA, A. and JAIN, A. K. Application of Artificial Intelligence in Offshore Structures in Applications of Artifical Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 2, 699-706

HANSON, N. Design Grammers, Advanced study report, Department of Architecture Science, Universty of Sydney, 1984

HAREN, P., NEVEU, B., GIACOMETTI, J. P., MONTALBAN, M. and CORBY, O. SMECI: Cooperating Experts Systems for Civil Engineering Design, SIGART Newsletter, 1985, (92), 67-69

HART, A. Knowledge Elicitation: Issues and Methods, CAD, 1985, 17(9), 455-462

HATVANY, J. The Missing Tools of CAD for Mechanical Engineering in Knowledge Engineering in Computer Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 393- 404

Artificial Intell igence in Engineering, 1987, Voi. 2, No. 3 175


HAYWOOD, G. G. A Rule Based Program to Construct an Influence Line for a Statically Determinate Multi-Span Beam Structure in Proc. 4th Int. Conf. Engineering Software, Computational Mechanics, Springer-Verlag, London, 1985

HENRION, M. Notes of the Synthesis of Problems: An exploration of Problem formulations used by human and automated designers, Unpublished Masters Thesis, Department of Design Research, Royal College of Art, London, 1974

HENRION, M. Abstraction Hierarchies in Design in Inst. of Physical Planning Reports, Carnegie-Mellon University, 1977

HENRION, M. Automatic Space-planning: A postmortem? in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 175-196

HOLTZ, N. M. Symbolic Manipulation of Design Constraints: An Aid to Consistency Management, Technical Report DRC-02-12-82, Design Research Centre, Carnegie-Mellon University, 1982

HORSTMANN, P. W. A Knowledge-Based System Using Design for Testability Rules in Fourteenth International Conference on Fault- Tolerant Computing, IEEE Compt. Soc. Press, Kissimmee, FL, USA, June 1984

HORVATH, M. and MARKUS, A. Practical Methods and Techniques, New Ventures in CAD/CAM in Computer Applications in Productions and Engineering, (ed. E. A. Warman), North-Holland Publishing Company, IFIP, 1983, 749-764

HORVATH, M. and MARKUS, A. Prototype of a Prolog-Based Design Engine in Design and Synthesis, (ed. H. Yoshikawa), North- Holland, 1985, 9-12

HOWARD, H. C. and REHAK, D. R. Knowledge Based Database Management for Expert Systems, SIGART Newsletter, Special section on AI, 1985, (92), 95-97

HOWE, A. E., COHEN, P. R., DIXON, J. R. and SIMMONS, M. K. Dominic: A Domain-Independent Program for Mechanical Engineering Design, Artificial Intelligence in Engineering, July 1986, 1(1), 23-28

IEEE in Second Conference on Artificial Intelligence Applications: The Engineering of Knowledge-Based Systems, IEEE Comput. Soc., Washington DC, USA, December 1985

INGRAND, F. and LATOMBE, J. C. Functional Reasoning for Automatic Fixture Design in Proceedings of CAM-I I3th Annual Meeting and Technical Conference, Clearwater Beach, Florida, November 1984

ITO, Masatosi, KONO, Masanori and HAYASHI, Kunikazu CONMOTO: A Machine Part Description System Based on Designers' Mental Processes in IFIP W.G.5.2. Working Conference on Design Theory for CAD, Tokyo, October 1-3 1985, 123-152

JIRAUGH, D. AI in Automated Design in Proc. SHARE Design Auto Workshop, New Orleans, 1966

JOHANNSEN, G., RIJNSDORP, J. E. and SAGE, A. P. Human System Interface Concerns in Support System Design, Automatica (GB), November 1983, 19(6), 595-603

JOHNSON, Tim The Commerical Application of Expert Systems Technology, Ovum Ltd, London, England, 1984, IS BN 0 903969 22 X

KAKUMOTO, Shigeru, FUJIMOTO, Yoshiji and KAWASAKI, Jun Logic Diagram Recognition by Divide and Synthesize Method in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 457-476

JOSHI, S., CHANG, T. C. and LIU, C. R. Process Planning Formalization in an AI Framework, Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, July 1986, 1(1), 45-53

JOZWIAK, S. F. Application of Artificial Intelligence in Structural Optimization in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 823-831

KANT, E. and NEWALL, A. An Automatic Algorithm Designer An Initial Implementation in Proc. NCAI, Washington, 1983

KAPOSI, A. A. and MARKUSZ, Z. Introduction of a Complexity Measure for Control of Design Errors in Logic-based CAD Programs in Proceedings, CAD 80, Brighton, 1980

KARAM, G. M. and BUHR, R. J. A. Embedding Design Knowledge in CAEDE: Experiments on the Detection of Critical Races in IEEE Computer Society Second International Conference on ADA Applications and Environments, IEEE Comput. Soc. Press, Washington DC, USA, Miami Beach, FL, USA, April 1986, 93-98

KARNA, K. N. ed. Expert Systems in Government Symposium in Expert Systems in Government Symposium, IEEE Comput. Soc. Press, Washington DC, USA, October 1985

KELLY, V. E. The Critter System-Automated Critiquing of Digital Circuit Designs in ACM IEEE 21st Design Automation Conference Proceedings 84, IEEE, New York, USA, Albuquerque, NM, USA, June 1984, 419-425

KING, M. S., BROOKS, S. L. and SCHAEFFER, R. M. Knowledge Based Systems: How will they affect manufacture in the 80's, Computers in Engineering, ASME, 1985, 2, 383-390

KIROV, V. I. A CAD/CAP Expert System Shell in Expert Systems "85, Proc. 5th Technical Conf. of BCS Specialist Group on Expert Systems, University of Warwick, 1985, 151-168

KISSIL, A. and KAMEL, H. A. An Expert System Finite Element Modeler in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (ed. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1179 1186

KITAJIMA, K. and YOSHIKAWA, H. HIMADES-I: a hierarchical machine design system based on the structure model for a machine, CAD, November 1984, 16(6)

KNAPP, D., GRANACKI, J. and PARKER, A. An Expert Synthesis System in Proceedings IEEE International Conference on Computer Aided Design, 1983, 32-33

KRAMER, G. A. Representing and Reasoning about Designs in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1 3 1985, 45-74

KRISTIANSEN, S. Application of Expert Systems in Marine System Design in Int. Marine Systems Design Conf., Tech. University of Denmark, 1985

KRUEGER, M. W., CULLINGFORD, R. E. and BELLAVANCE, D. A. Control Issues in a Multiprocess Computer-Aided Design System Containing Expert Knowledge in Proceedings of the International Conference on Cybernetics and Society, IEEE, New York, USA, Atlanta, GA, USA, October 1981, 139-143

KULKARNI, V. M., DIXON, J. R., SUNDERLAND, J. E. and SIMMONS, M. K. in Unknown

KUMAR, A., KINZEL, G. L. and SINGH, R. A Preliminary Expert System for Mechanical Design in Unknown

KUNO, S., KAWAGOE, K. and MANAGAKI, M. ATHENA: A Knowledge Based CAD System in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 35-40

KYPP, M. MICROPRIZ A user friendly problem solver in Sov.- Finnish Syrup. Micros, Tallinn, 1985

LAFUE, G. A Theorem Prover for Recognizing 2-D Representations of 3-D Objects in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IEIP North-Holland Publishing Company, 1978, 391-402

LAFUE, G. M. and MITCHELL, T. M. Data-base Management Systems and Expert Systems for CAD, Technical Report No. LCSR- TR-28, Rutgers University, 1982

LATOMBE, J. C. AI in CAD: The Tropic System in CAD Systems, (ed. J. J. Allan), North-Holland, 1977, 61-120

LATOMBE, J. C. ed. Artificial Intelligence and Pattern Recognition in Computer Aided Design, North-Holland Publishing Company, New York, 1978

LATOMBE, J. C. Failure Processing in a System for Designing Complex Assemblies in Proc. Int. J nt. Conf. AI , IJCAI, 1979,508-515

LeVAN, D. O. Frame Representation of Physical Systems for Expert System Use, Inf.-Sciences (USA), December 1985, 37(1 3), 169-177

LEWIS, W. P. The Role of Intelligence in the Design of Mechanical Components in Man-M/C Communication in CAD~CAM, (eds. T. Sata and E. A. Warman), North-Holland, 1981, 59-88

LI, H. L. and PAPALAMBROS, P. A Production System for Use of Global Optimization Knowledge, Trans-ASME-J-Mech-Transm- Aurora-Des (USA), June 1985, 107(2), 271-276

LIARDET, M., HOLMES, C. and ROSENTHAL, D. Input to CAD Systems: Two Practical Examples in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 403-428

LIM, B. S. and KNIGHT, J. A. G. Holdex - Holding Device Expert System in Applications of Artificial Intelligence in Engineering Problems, 1st Internationa Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,483-501

LIVSHITS, E. G., LAMBIN, L. N., ZLATKIN, E. S. and PRIDOUKHO, V. T. Mechanical System Design on the Basis of Models Hierarchy in Advances in CAD~CAM, (eds T. Ellis and O. Sememkar), North-Holland, 1983, 601-608

LOPEZ, L. A. and ELAM, S. L. SICAD: A Prototype Knowledge Based System for Conformance Checking and Design, (unpublished article), 1984

LOPEZ, L. A., ELAM, S. L. and CHRISTOPHERSON, T. SICAD: A

176 Artificial Intell igence in Engineering, 1987, Vol. 2, No . 3

Prototype Implementation System for CAD in Proceedings of the ADCE Third Conference on Computing in Civil Engineering, San Diego, California, 1984, 84-93

LU, S. C.-Y., BLATTNER, C. R. and LINDEM, T. J. A Knowledge- Based Expert System for Drilling Station Design in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds S. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, l, 423-443

Mac-an-AIRCHINNIGH, M. CAD, KE, AND Ada in Knowledge Engineering in Computer Aided Design, (ed. J. S.Gero), Elsevier Science Publishers B.V. (North-Holland) IFIP, 1985, 171-205

MacCALLUM, K. J. Creative Ship Design by Computer in Computer Applications in the Automation of Shipyard Operation and Shipyard Design IV, IFIP82, (eds D. F. Rogers, B. C. Nehrling and C. Kuo), North-Holland Publishing Company, 1982

MacCALLUM, K . J. A Knowledge-base for Engineering Design Relationships in Expert Systems 82, UK, 1982

MacCALLUM, K. J. and DUFFY, A. An Expert System for Preliminary Numerical Design Modelling in Proc. 4th Int. Conf. Engineering Software, (ed. R. A. Adey), Computational Mechanics, Springer-Verlag, June 1985, 4.33-4.48

MacCALLUM, K. J., DUFFY, A. and GREEN, S. An Intelligent Concept Design Assistant in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 233-249

MacCALLUM, K. J. Knowledge-Based Systems for CAD in 2nd Int. Conf. Comp. App. Prod. and Manf, CAPE'86, May 1986, 903-914

MACHOVA, S. and SEKERA, B. To some inference problems in CAD systems, Computing and Artificial Intelligence (Czechoslovakia), 1985, 4 (1 ) , 91-96

MacKENZIE, C. A. and GERO, J. S. Learning from Designs in Sydney University, Dept. of Arch. Sc., Arch Comp. Unit Working Paper, 1986

MAEDA, Y., TAKESHIGE, A., KOGUCHI, T., TOMIYAMA, T. YOSHIKAWA, H. Frame Operating Systems for CAD in Design and Synthesis, (ed. H. Yoshikawa), North-Holland, 1985, 13-16

MAHER, M. L., SRIRAM, D. and FENVES, S. J. Tools and techniques for Knowledge-based Expert Systems for Engineering Design, Advances in Engineering Software, 1984, 6, 4

MAHER, M . L. Hi-Rise and Beyond: Directions for Expert Systems in Design, CAD, November 1985, 17(9), 420-427

MAHER, M. L. and FENVES, S. J. Hi-rise: An Expert System for the Preliminary Structural Design of High Rise Buildings in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 125-146

MALHOTRA, Ashok, THOMAS, John C., CARROLL, John M. and MILLER, Lance A. Cognitive processes in design, Int. J. Mean- Machine Studies, New York, 1980, 119-140

MARKUS, A., MARKUSZ, Z., FARKAS, J. and FILEMON, T. Fixture Design by Prolog in Proc. MICAD '82, North Holland, 1982

MARKUSZ, Z. How to Design Variants of Flats Using the Programming Language PROLOG in Proceedings IFIP, Toronto, Canada, 1977

MARKUSZ, Z. Design in Logic, Computer Aided Design, 1982, 14(6), 335-343

MARKUSZ, Z. and KAPOSI, A. A. A Design Methodology in PROLOG Programming in Proceedings, First lnternation Logic Programming Conference, Marseille, France, 1983, 139-145

MARUYAMA, F., MANO, T., HAYASHI, T. KAKUDA, KAWATO, N. and UEHARA, T. Prolog-based Expert System for Logic Design in FGCS'84, Proc. Int. Conf. 5th Gen. Comp. Systems, Tokyo, November 1984, 563-571

MATSUSHIMA, K., OKADA, N. and SATA, T. The Integration of CAD and CAM by Application of AI Techniques, Annals of CIRP, 1982, 31(I)

McDERMOTT, Drew, Circuit Design as Problem Solving in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 227 260

McDERMOTT, J. RI = a rule-based configurer of Computer Systems, AI, 1982, 19 (1), 39-88

McDERMOTT, J. Domain Knowledge and the Design Process, Design Studies, 1982, 3(1), 31-36

MELOSH, R. J., MARCAL, P. V. and BERKE, L Structural Analysis Consultation using Artificial Intelligence, Research in Computerized Structural Analysis and Synthesis, NASA, Washington DC, 1978

MEYSTEL, A. Purposeful arrangement via search in the version space in Proc. IEEE Int. Conf. Systems, Man., and Cybernetics, Halifax, Canada, October 1984, 112-119

MILACIC, M., MILOJEVIC, M., SPRECKOVIC, M. and MILACIC, V. Conceptual Design of a Manufacture Cell Based on the AI


Approach in Proc. CIRP Seminar in ManuJacturing Systems, Trondbeim, 1982

MILACIC, V. and PILIPOVIC, M. Application of the Theory of Automata to Conceptual Design in Design and Syntheisi, (ed. H. Yoshikawa), North-Holland, 1985, 29-34

MILLER, A. J. D E S I G N - A Prototype E.S. for Design Oriented Problem Solving, Aust. Comput., 1985, 17(1), 20~26

MILNE, P. H. An Expert System for Road Curve Design and Setting- Out in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds. D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 733 743

MISTREE, F., KARANDIKAR, H. M. and KAMAL, S. Rule-Based Post Solution Analysis of Decision Support Problems: Some Preliminary Results in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (ed. D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 1,301-315

MISTREE, F., KARANDIKAR, H. and KAMAL, S. Knowledge- based Mathematical Programming: A Hybrid Approach for Decision making in Design in IFIP W.G.5.2 Working ConJerence on Design Theory for CAD, Tokyo, October 1985, 155-188

MITCHELL, J. R. and RADFORD, A. D. Adding Knowledge to Computer-Aided Detailing, AUSGRAPH86 (to appear)

MITCHELL, T. M., STEINBERG, L. I. and SHULMAN, J. S. A Knowledge Based Approach to Design, IEEE Trans Pattern Anal and Mach. Intell., September 1985, PAMI-7(5), 502-510

MITTAL, S. and ARAYA, A. A Knowledge-Based Framework for Design in Proc. AAAI-86, 5th National Conference AI, Engineering, Philadelphia, August 1986, 2, 856-865

MOHR, R. and MASINI, G. Drawing Analysis and Computer Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 477-495

MOLNAR, B. E. and MARKUS, A. Logic Programming in the Design of Production Control Systems in Compcontrol "81, Varna, Bulgaria, 1981

MONOGHAN, P. F. and DOHENY, J. G. Knowledge Representation in the Conceptual Design Process for Building Energy Systems in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey], Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 1187 1192

MORRIS, A . J. ADROIT: An intelligent aid to the aircraft designer in Colloque Int. d'Intelliegence Artificielle, Marseille, October 1984, 203-206

MOSTOW, J. Towards better models of the design process, At Magazine, Spring 1985, 6(1), 44-57

NAGAO, M. A Survey of Pattern Recognition and Picture Processing in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 35-64

NEVEU, B. and HARENAREN, P. SMECI: An Expert System for Civil Engineering Design in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 1,317 326

NEVILL, G. E. Jr and CROWE, R. A. Computer Augmented Conceptual Design in Basic Questions of Theory, (ed. W. R. Spillers), North-Holland Publishers, 1974, 493 506

NEWALL, A. and SIMON, H. A. Human Problem Solving, Prentice Hall, 1972

NOLAN, P. J. An Intelligent Assistant for Control System Design in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,473-481

O'CONNOR, D. E. The Learning Curve for Building Large Experl Systems in Proceedings of CAM-I 13th Annual Meeting and Technical Conference, Clearwater Beach, Florida, 1984

OEY, K. H. Considerations Concerning Expert Systems in the Architectural Design Process, Expert Systems and their Applications. 5th International Workshop, Agence de l'Informatique, Paris la Defense, France, Avignon, France, May 1985, 961-967

OHSUGA, S. A New Method of Model Description Use of Knowledge Bases and Inference in CAD Systems Framework, (eds K. Bo and F. M. Lillihagen), North Holland Publishing Company, 1983, 285-312

OHSUGA, S. Use of Knowledge Systems in CAD, Japan Soc. Mech. Enos., 1984

Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3 177


OHSUGA, S. Knowledge Based Aided Model Building, SIGART Newsletter, 1985, (92), 64-66

OHSUGA, S. Conceptual Design of CAD Systems involving Knowledge Bases in Knowledge Engineering in Computer-Aided Design, (ed. J. S. Gero), IF1 P Elsevier Science Publishers B.V. (North- Holland), 1985

OXMAN, R. and GERO, J. S. Using an Expert System for Design Diagnosis and Design Synthesis, Arch. Comp. Unit Working Party, Working Report, Sidney University, Dept. Arch. Sc., 1986

PALMER, D. W. and MACHIN, E. D. Expert Systems in Design and Manufacture, Report SAND-84-0092C, Sandia National Labs, Albuquerque, New Mexico, 1984

PEREIRA, Luis Moniz. Artificial Intelligence Techniques in Automatic Layout Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 159-174

PERKOWSKI, M. An Application of General Problem-solving methods in CAD: The MULTICOMP system and its problem oriented source languange in Proc. 4th Int. Syrup. Heuristic Methods, Warsaw, 1978, PTC

PERKOWSK1, M. The State-Space Approach to the Design of a Multipurpose Problem for Logic Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP, North-Holland Publishing Company, 1978, 123-158

PFEFFERKORN, C. E. A Heuristic Problem Solving Design System for Equipment of Furniture Layouts, C of ACM, 1975, 18(5)

PHILLIPS, R. H., ZHOU, X. D. and MOULEESWARAN, C. B. An Artificial Intelligence Approach to Integrating CAD and CAM through Generative Process Planning in Proceedings Computers in Engineering, A.S.M.E., Las Vegas, Nevada, 1984, 332-337

POMEROY, B. D. and CRAPO, A. W. Smart apprentice: An Expert System for configuring systems, Computers in Engineering, ASME, 1985, 3, 63~8

PO PPLESTONE, R., SMITHERS, T., CORNEY, J., KOUSTON, A., MILLINGTON, K. and SAHAR, G. Engineering Design Support Systems, DAI Research Paper No. 286, DAI, Department of AI, Edinburgh University, 1986

PREISS, K. Future CAD Systems, CAD, 1983, 15 (4), 223-227 RADFORD, A. D. and GERO, J. S. Towards Automated Detailing,

Working Paper, Comp. Apps. Res. Unit, Dept. of Arch. Science, University of Sydney, 1984

RADFORD, A. D., HUNG, P. and GERO, J. S. New Rules of Thumb from Computer-Aided Structural Design: Acquiring Knowledge for Expert Systems in Proceedings CADD-84, UK, 1984, 558-566

RADFORD, A. D. and GERO, J. S. Towards Generative Expert Systems for architectural detailing, CAD, November 1985, 17(9), 428- 435

RADFORD, A. D. Approaches to Knowledge-Based Architectural Detailing, Architectural Science Review, 1985, 28(4), 88-94

RADFORD, A. D. and MITCHELL, J. R. Automated Architectural Detailing: A Knowledge Based Approach, Working Paper, Architectural Computing Unit, Department of Architectural Science, University of Sydney, 1986

RASDORF, W. J. Perspective on Knowledge in Engineering Design, Computers in Engineering, ASME, 1985, 1,249-253

REED, Walter S. A Pattern recognition based learning CAD System in Artificial Intelligence and Pattern Recognition in Computer Aided Design (ed. J. S. Latombe), IFIP North-Holland Publishing Company, 1978, 211-227

RAY, M. H. The Design of Reinforced Concrete Members Using an Expert System in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 771-780

REHAK, D. An Integrated Knowledge-Based System in Architecture for CAE, Sigart Newsletter, April 1985, (92), 53-55

REHAK, R. R. and HOWARD, H. C. Interfacing Expert Systems with Design Database in Integrated CAD Systems, CAD, 1985, 17(9)

REHAK, D., HOWARD, H. and SRIRAM, D. Architecture of an Integrated Knowledge Based Environment for Structural Engineering Applications in Knowledge Engineering in Computer- Aided Design, (ed. J. S. Gero), IFIP Elsevier Science Publishers B.V. (North-Holland), 1985, 89-124

REYNIER, M. and FOUET, J. M. Automated Design of Crankcases: The Carter System, Comput-Aided-Des. (GB), November 1984, 16(6), 308-313

RICH, C. and WATERS, R. Computer Aided Evolutionary Design for Software Engineering, SIGART Newsletter (USA), April 1981, (76), 14-15

RIEGER, Chuck and GRINBERG, Milt A System of Cause-Effect

Representation and Simulation for Computer-Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 299-334

RIVLIN, J. M., HSU, M. B. and MARCAL, P. V. Knowledge-based Consultant for Finite Element Analysis, Technical Report AFWAL- TR-80-3069, Flight Dynamics Laboratory (FIBRA), 1980

ROONEY, M. F. and SMITH, S. E. Artificial Intelligence in Engineering Design, Compt. and Struct., George Washington University, NASA, October 1982, 16(1-4), 279-288

ROSENMAN, M. A. and GERO, J. S. Design Codes as Expert Systems, CAD, 1985, 17(9), 399-409

ROSENMAN, M. A., GERO, J. S. and OXMAN, R. An Expert System for Design Codes and Design Rules, Applications of Artificial Intelligence in Engineering Problems, Computational Mechanics Publications and Springer-Verlag, 1986, 2, 745-758

ROSENMAN, M. A., GERO, J. S., HUTCHINSON, P. J. and OXMAN, R. Expert Systems Applications in Computer-Aided Design in CAD86 (to appear), 1986

ROSENMAN, M. A., COYNE, R. D. and GERO, J. S. Expert Systems for design applications in Proc. 2nd Aust. Conf. Applications of Expert Systems, Sydney, 14-16 May 1986, 74-91

RUNCIMAN, M. D. and SWIFT, K. Knowledge Based CAD and design for economic manufacture in Colloque Int. d'Intelligence Arti- ficielle, Marseille, October 1984, 203-206

RYCHENER, M. D. Expert Systems for Engineering Design, Expert Systems, 1985, 2(1), 30-44

RYCHENER, M. D. Expert Systems for Engineering Design: Experiments with Basic Techniques in Proceedings of Trends and Applications on Automating Intelligent Behaviour: Applications and Frontiers, 1983, 21-27

RYCHENER, M. D. A rule-based blackboard kernal system: some principles in design in Proc. IEEE Workshop on Principles of Knowledge Based Systems, Denver, USA, December 1984, 59~4

SALEH, H. S. A. Artificial Intelligence and Computer Aided Design in Civil Engineering in Applications of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer- Verlag, Southampton University, UK, April 1986, 2, 781-789

SANDEWALL, Erik A Survey of Artificial Intelligence with Special Respect to Computer-Aided Design in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 19-34

SATA, T. and WARMAN, E. A. Man-Machine Communication in CAD/CAM in Proc. IFIP WG5.2-.3 Working Conference, North- Holland, Tokyo, Japan, October 1981

SCHRAMEL, F, J. What can A.I. contribute to computer aided engineering? in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE'86, May 1986, 915-930

SEMENKOV, O. I. and BERSENEV, V. A. Operations on Semiotic Models of CADS Object Domain in Advances in CAD~CAM, (eds T. Ellis and O. Sememkor), North-Holland, 1983, 581-591

SERBANATI, L.-D. I. Towards an Intelligent CAD/CAM System for Program Development in IFIP W.G.5.2 Working Conference on Design Theory for CAD, Tokyo, October 1985, 299-311

SHAH, J. J. Development of a Knowledge Base for an Expert System for Design of Structural Parts in Unknown

SHUN-EN, T. M. and CALVERT, T. W. The CSG-EESI scheme for representing solids with a conversion expert system in Proc. CVPR '85, IEEE Comp. Soc. Conf. Comp. Vision and Pat. Rec., 1985, 124- 129

SIMMONS, M. K. Artifical Intelligence for Engineering Design, Comput-Aided-Eng-J (GB), April 1984, 1(3), 75-83

SIMON, H. A. The Sciences to the Artificial, MIT Press, Cambridge, MA, USA, 1969

SPIE, Applications of Artificial Intelligence in Proc. SPIE Int. Soc. Opt. Eng. (USA), May 1984, 485

SRIRAM, D., MAHER, M. and FENVES, S. Applications of Expert Systems in Structural Engineering in Proceedings Conference on Artificial Intelligence, Oakland University, Rochester, 1983, 379-394; (OR Computers and Structures, January 1985)

SRIRAM, D. Knowledge-Based Approach to Integrated Structural Design, (unpublished PhD thesis proposal), Department of Civil Engineering, Carnegie-Mellon University, 1983

SRIRAM, D. and ADEY, R. eds Applications of Artificial Intelligence in Engineering Problems in Proceedings of the 1st International Conference, Southampton University, UK, April 1986, 1 and 2

SRIRAM, D. DESTINY: A Model for Integrated Structural Design,

178 Artificial Intelligence in Engineering, 1987, Vol. 2, No. 3

Int. J. for Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, !(2)

STALLMAN, R. and SUSSMAN, G. J. Forward Reasoning and Dependency - Directed Backtracking in a System for Comp-Aided Circuit Analysis, AI, 1977, 9, 135-196

STEEL, S. and SZALAPAJ, P. Pictures without Numbers: Graphical Realisation of Logical Models in Proc. PARC, 1983, 217 232

STEELE, G. L. and SUSSMAN, G. J. Constraints, Massachusetts Institute of Technology Artificial Intelligence Laboratory, Massachusetts, November 1978, 1-32

STEFIK, M. and de-KLEER, J. Prospects for Expert Systems in CAD, Computer Design, 1983, 22(5), 65-76

STEINBERG, L. I. and MITCHELL, T. M. A Knowledge Based Approach to VLSI CAD-the REDESIGN System in ACM IEEE 21st Design Automation Conference Proceedings, Alburquerque, NM, USA, June 1984, 412-418

STEWART, S. D. and WATSON, G. Applications of Artificial Intelligence, Simulation (SA), June 1985, 44(6), 306-310

SUSSMAN, G. J. and STALLMAN, R. M. Heuristic Techniques in Computer-Aided Circuit Analysis, IEEE Transactions on Circuits and Systems, November 1975, CAS-22(11), 857-865

SUSSMAN, G. J. Electrical Design: A Problem for Artificial Intelligence Research in Proc. 5th IJCAI, Massachusetts Institute of Technology Memo No. 425, Massachusetts, June 1977, 894-900

SUSSMAN, G. J. Slices at the Boundary between Analysis and Synthesis in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 261-298

SUSSMAN, G. J., HOLLOWAY, Jack and KNIGHT, Thomas F. Computer Aided Evolutionary Design for Digitial Integrated Systems, Massachusetts Institute of Technology AI Memo No. 526, Massachusetts Institute of Technology, Massachusetts, May 1979, 1 24

SUSSMAN, G. J., HOLLOWAY, J. and KNIGHT, T. E. Design Aids for Digital Integrated Systems - An Artificial Intelligence Approach in Proceedings IEEE International Conference on Circuits and Computers, 1980

SWIFT, K. and MATHEWS, A. Expert Computer Systems in Engineering Design, Engineering (GB), September 1983, 223(9), 673- 678

SWIFT, K. G. Computer Based Design Consultation System, Assembly Automation, 1983, 3(3)

SWIFT, K. G., MATTHEWS, A., FIRTH, P. and SYAN, C. S. Artificial Intelligence in Engineering Design in Proceedings of CAM-I 13th Annual Meeting and Technical Conference, Clearwater Beach, Florida, 1984, 13-15

'SWIFT, K. G., MATTHEWS, A. and SYAN, C. S. The Application of IKBS in Design for Assembly and Surface Treatment Selection in Application of Artificial Intelligence in Engineering Problems, 1st International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 1,459-471

SWlNSON, P. S. G. Logic programming: a computing tool for the architect of the future, Computer-aided Design, Butterworth, March 1982, 14(2), 97-104

SWlNSON, P. S. G., FERNANDO, C. N. and BIJL, A. A Fact Dependency System for the Logic Programmer, CAD, July 1983, 15(4), 235-243

SWINSON, P. S. G. Prolog: A Prelude to a New Generation of CAAD, CAD, 1983, 15(6)

SWINSON, P. S. Design Grammers, Advanced Study Report, Dept. of Arch. Science, University of Sydney, 1984

SZALA PAJ, P. J. and BIJL, A. Knowing where to draw the line in IFIP W.G.5.2 Working Conference on Knowledge based Engineering in Computer-Aided Design, Budapest 1984, Budapest, 1984, 147-170

TAIG, I. C. Expert Aides to Finite Element System Applications in Application of Artificial Intelligence in Engineering Problems 1st

Bibl iography - Arti f icial inte l l i fence in design: A. Duffy

International Conference, (eds D. Sriram and R. Adey), Computational Mechanics Publications and Springer-Verlag, Southampton University, UK, April 1986, 2, 759-770

TAYLOR, G. S. and OUSTERHOUT, J. K. Magics's Incremental Design-Rule Checker in Proceedings ACME IEEE 2tst Design Automation Conference, New Mexico, 1984, 160-165

THOMPSON, T. R., RILEY, D. R. and ERDMAN, A. G. An Expert Systems Approach to Type Synthesis of Mechanisms in Unknown

TOMIYAMA, T. and YOSHIKAWA, H. An Application of Knowledge Engineering to CAD in Proc. ICED '83, Copenhagen, 1983, 607~15

TOMIYAMA, T., HANUSA, H. and BARON, N. Knowledge Based Approach to a Designer's Work Bench for CAD Systems in Forschungs- and Arbeitsberichte des Fachgebietes "Graphische - Interaktive Systeme', (eds J. Encarnacao and W. Strassel:), Technische Hochschule Darmstadt, Darmstadt, West Germany Nr. Gris, 1983, 83-115

TOMIYAMA, T. and YOSHIKAWA, H. Knowledge Engineering and CAD in Design and Synthesis, 1985, 3-8

TOMIYAMA, T. and YOSHIKAWA, H. Requirements and Principles for Intelligent CAD Systems in Knowledge Engineering in Computer- Aided Design, IFIP WG5.2, (ed J. S. Gero), Elsevier Science Publishers B.V. (North-Holland), 1985, 1-23

TOU, J. T., HUANG, C. L. and LI, W. H. Design of a Knowledge- Based System for Understanding Electronic Circuit Diagrams in 1st Conference on AI Applications, IEEE Comput. Soc. Press, Silver Spring, MD, USA, Denver, CO, USA, December 1984, 652-661

TYUGU, E. H. Using a Problem Solver in CAD in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFI P North-Holland Publishing Company, 1978, 197-210

UEKARA, T. A Knowledge Based Logic Design System, IEEE Des. and Test. Comput., October 1985, 2(5), 27-34

VAMOS, T. CAD-Marriage with AI Methods, Views Based on Dual Experiments in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 373-390

VAN-DEN-KROONENBERG, H. H. CAD Applications in the creative phases of the methodical design process in 2nd Int. Conf. Comp. App. Prod. and Manf., CAPE'86, May 1986, 339-348

VAROSYAN, S. O. and POS PELOV, D. A. Nonmetric Spatial Logic, Eng. Cybern. (USA), September/October 1982, 20(5), 64-76

VENKATASUBRAMANIAN, V. and CHEN, C.-F. A Blackboard Architecture for Plastics Design, Artificial Intelligence in Engineering, Computational Mechanics Publications, October 1986, 1 (2), 117-122

WARMAN, E. A. Computer Aided Design: An Interaction of Ideas in Artificial Intelligence and Pattern Recognition in Computer Aided Design, (ed. J. C. Latombe), IFIP North-Holland Publishing Company, 1978, 1-18

WHITEFIELD, A. A model of the engineering design process derived from HEARSEY-II in 1st IFIP Conf. Human-Computer Interaction, Elsevier, September 1984, 1,424-428

WlLLEY, D. S. and TOLLER, D. R. SPA: automating bathroom design, Computer Aided Design, IPC, May 1981, 24(3), 137-144

YOSHIKAWA, H. General Design Theory and a CAD System in Man- Machine Communication in CAD~CAM Proceedings of the IFIP WG5.2-5.3 Working Conference, (eds T. Sata and E. Warman), North- Holland Publishing Company, Tokyo, 2-4 October 1980, 35-58

YOSHIKAWA, H. Automation of thinking in design in Computer Applications in Production Engineering, IFIP, (ed E. A. Warman), North-Holland, 1983

ZIPPEL, R. An Expert System for VLSI Design in Proceedings of the I E E E Symposium on Circuits and Systems, Newport Beach, 1983, 191- 193

ZUMSTEG, J. R., PECORA, D. and PECORA, V. J. A Prototype Expert System for the Design and Analysis of Composite Material Structures in Unknown

Arti f icial Intel l igence in Engineering, 1987, Vol. 2, No . 3 179

Documents

Bibliography — Artificial intelligence in design