Intelligent CAD Systems I

[1]  J. R. Quinlant.  Semi-autonomous acquisition of pattern-based knowledge , 2013 .

[2]  G. Lakoff.  Women, fire, and dangerous things : what categories reveal about the mind , 1988, Dialogue.

[3]  Mildred L. G. Shaw,et al.  Cognition and Personal Structure: Computer Access and Analysis , 1988 .

[4]  Teuvo Kohonen,et al.  Self-Organization and Associative Memory , 1988 .

[5]  Sandra Marcus,et al.  SALT: A Knowledge-Acquisition Tool for Propose-and-Revise Systems , 1988 .

[6]  B. Veth,et al.  An integrated data description language for coding design knowledge , 1989 .

[7]  Robert Milne,et al.  Strategies for Diagnosis , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  Sandra Marcus,et al.  Taking Backtracking with a Grain of SALT , 1987, Int. J. Man Mach. Stud..

[9]  T. Tomiyama,et al.  Organization of design knowledge in an intelligent CAD environment , 1987 .

[10]  G. Goossens,et al.  An efficient microcode compiler for custom multiprocessor DSP-systems , 1987 .

[11]  H. De Man,et al.  Evolution of CAD tools towards third generation custom VLSI design , 1987 .

[12]  T. Tomiyama,et al.  The concept of intelligent integrated interactive CAD systems , 1987 .

[13]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[14]  Hilary J. Kahn,et al.  An application of knowledge based techniques to VLSI design , 1986 .

[15]  Alan Borning,et al.  Classes versus Prototypes in Object-Oriented Languages , 1986, FJCC.

[16]  John L. Sibert,et al.  An object-oriented user interface management system , 1986, SIGGRAPH.

[17]  Won Kim,et al.  A Unifying Framework for Version Control in a CAD Environment , 1986, VLDB.

[18]  Paul Morris,et al.  Representing Actions with an Assumption-Based Truth Maintenance System , 1986, AAAI.

[19]  Brian C. Williams,et al.  Back to Backtracking: Controlling the ATMS , 1986, AAAI.

[20]  Gerald E. Sobelman,et al.  Automated Layout Synthesis in the YASC Silicon Compiler , 1986, 23rd ACM/IEEE Design Automation Conference.

[21]  Hilary J. Kahn,et al.  A Design Rule Database System to Support Technology-Adaptable Applications , 1986, 23rd ACM/IEEE Design Automation Conference.

[22]  John Lansdown.  Do CAD systems fulfill designers' needs? , 1986 .

[23]  William S. Faught,et al.  Applications of AI in Engineering , 1986, Computer.

[24]  David C. Brown,et al.  Knowledge and Control for a Mechanical Design Expert System , 1986, Computer.

[25]  D. Sriram,et al.  Applications of Artificial Intelligence in Engineering Problems , 1986 .

[26]  Daniel G. Bobrow,et al.  CommonLoops: merging Lisp and object-oriented programming , 1986, OOPLSA '86.

[27]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[28]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[29]  Valdis Berzins,et al.  ODM: an object oriented data model for design databases , 1986, CSC '86.

[30]  Duhovnik Jože,et al.  EXPERT SYSTEM FOR MECHANICAL ELEMENTS , 1986 .

[31]  D. Sriram,et al.  The Representation and Use of Constraints in Structural Design , 1986 .

[32]  John H. Boose,et al.  Expertise transfer for expert system design , 1986 .

[33]  Daniel G. Bobrow,et al.  Virtual Copies - At the Boundary Between Classes and Instances , 1986, OOPSLA.

[34]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[35]  Randy H. Katz,et al.  Organizing A Design Database Across Time , 1985, On Knowledge Base Management Systems.

[36]  Jean-Claude Latombe,et al.  Making Compromises Among Antagonist Constraints in a Planner , 1985, Artif. Intell..

[37]  Daniel G. Bobrow,et al.  If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms , 1985, IEEE Transactions on Software Engineering.

[38]  Robert Milne.  Diagnosing faults through responsibility , 1985, ACM '85.

[39]  Won Kim,et al.  Modeling concepts for VLSI CAD objects , 1985, TODS.

[40]  Alejandro P. Buchmann,et al.  An Architecture and Data Model for CAD Databases , 1985, VLDB.

[41]  Tianran Wang,et al.  Knowledge Acquisition for Constructive Systems , 1985, IJCAI.

[42]  Robert Milne,et al.  Fault Diagnosis Through Responsibility , 1985, IJCAI.

[43]  Moshe Shaked,et al.  An Elementary Approach To Thinking Under Uncertainty , 1985 .

[44]  B. Chandrasekaran,et al.  Reasoning about structure, behavior and function , 1985, SGAR.

[45]  Tetsuo Tomiyama,et al.  Knowledge engineering and CAD , 1985, Future Gener. Comput. Syst..

[46]  Natalie Royal,et al.  A Case Study in Process Independence , 1985, 22nd ACM/IEEE Design Automation Conference.

[47]  Neil W. Bergmann.  Generalised CMOS - A Technology Independent CMOS IC Design Style , 1985, 22nd ACM/IEEE Design Automation Conference.

[48]  John S. Gero.  Knowledge Engineering in Computer-Aided Design: Proceedings of the IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Degin, Budapest, Hungary, 17-19 September, 1984 , 1985 .

[49]  M. A. Melkanoff,et al.  A Manufacturing-Oriented Intelligent CAD-System , 1985 .

[50]  John H. Boose,et al.  Rapid Acquisition and Combination of Knowledge from Multiple Experts in the Same Domain , 1985, Conference on Artificial Intelligence Applications.

[51]  Hervé Gallaire,et al.  Logic Programming: Further Developments , 1985, SLP.

[52]  Farhad Arbab,et al.  Geometric Reasoning: A New Paradigm for Processing Geometric Information , 1985 .

[53]  Toshiharu Sugawara,et al.  Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics , 1984, FGCS.

[54]  J. Brown,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[55]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[56]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[57]  Alejandro P. Buchmann,et al.  Molecular Objects, Abstract Data Types, and Data Models: A Framework , 1984, VLDB.

[58]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

[59]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[60]  Peter Wegner.  Capital-Intensive Software Technology , 1984, IEEE Software.

[61]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[62]  Glynn Winskel,et al.  A New Definition of Morphism on Petri Nets , 1984, STACS.

[63]  John S. Gero,et al.  THE PLACE OF EXPERT SYSTEMS IN ARCHITECTURE , 1984 .

[64]  K. Preiss,et al.  A review of solid shape modelling based on integrity verification , 1984 .

[65]  J. Hatvany.  CAD — State of the art and a tentative forecast☆ , 1984 .

[66]  Carlo Zaniolo,et al.  Object-Oriented Programming in Prolog , 1984, SLP.

[67]  Takashi Chikayama,et al.  Unique Features of ESP , 1984, FGCS.

[68]  Michael Lebowitz,et al.  Concept Learning in a Rich Input Domain: Generalization-Based Memory , 1984 .

[69]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[70]  Lotfi A. Zadeh,et al.  Commonsense Knowledge Representation Based on Fuzzy Logic , 1983, Computer.

[71]  David J. Israel.  The Role of Logic in Knowledge Representation , 1983, Computer.

[72]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[73]  Mark S. Fox,et al.  Techniques for Sensor-Based Diagnosis , 1983, IJCAI.

[74]  J. Duhovnik,et al.  Contribution to Methodic in CAD , 1983, Eurographics.

[75]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[76]  Patrick Henry Winston,et al.  Learning New Principles from Precedents and Exercises , 1982, Artif. Intell..

[77]  R. Light,et al.  Modification of geometric models through variational geometry , 1982 .

[78]  David J. Israel,et al.  Some Remarks on the Semantics of Representation Languages , 1982, On Conceptual Modelling.

[79]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[80]  Robert Howard Wolfe,et al.  GRIN: interactive graphics for modeling solids , 1981 .

[81]  Patrick Henry Winston,et al.  Learning and reasoning by analogy , 1980, CACM.

[82]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[83]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[84]  Brian R. Gaines,et al.  New Directions in the Analysis and Interactive Elicitation of Personal Construct Systems , 1980, Int. J. Man Mach. Stud..

[85]  Lee D. Erman,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[86]  Marvin Minsky,et al.  K-Lines: A theory of Memory , 1980, Cogn. Sci..

[87]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[88]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[89]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[90]  Mark S. Fox,et al.  On Inheritance in Knowledge Representation , 1979, IJCAI.

[91]  Yacov Yasky,et al.  Dimensions and tolerances in shape design: Robin Hillyard, University of Cambridge (1978) pp 186 , 1979 .

[92]  J. Hatvany,et al.  Computer aids to the design of integrated manufacturing systems , 1979 .

[93]  H. Dreyfus.  What Computers Can't Do: The Limits of Artificial Intelligence , 1978 .

[94]  R. C. Hillyard,et al.  Analysis of dimensions and tolerances in computer-aided mechanical design , 1978 .

[95]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[96]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[97]  J. Kleer.  Qualitative and Quantitative Knowledge in Classical Mechanics , 1975 .

[98]  Robert Trappl,et al.  Progress in Cybernetics and Systems Research , 1975 .

[99]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[100]  Nicholas Negroponte,et al.  The architecture machine , 1975, Comput. Aided Des..

[101]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[102]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[103]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[104]  Knowing Where to Draw the Line , 1970, Nature.

[105]  Edwin E. Moise,et al.  Elementary Geometry from an Advanced Standpoint , 1965 .

[106]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[107]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .