Toward an engineering science of knowledge-based design

Adelson, 1985, The role of domain experience in software design, IEEE Transactions on Software Engineering, SE-11, 1351, 10.1109/TSE.1985.231883

Aho, 1978

Barstow, 1979, An experiment in knowledge-based automatic programming, 73

Bell, 1971

Brewer, 1986, An Expert-System Paradigm for Design

Brown, 1983, Palladio: An exploratory environment for circuit design, IEEE Computer Magazine, 10.1109/MC.1983.1654267

Brown, 1984, Expert systems for a class of mechanical design activity

Bundy, 1986, What kind of field is Artificial Intelligence?

Clancey, 1984, Classification problem-solving

Dahl, 1972

DeKleer, 1978, Propagation of constraints applied to circuit synthesis

De, 1982, Assumptions and ambiguities in mechanistic mental models, 155

DeKleer, 1984, How circuits work, Artificial Intelligence Special Volume on Qualitative Reasoning about Physical Systems, 24, 1

Dietterich, 1986, The Test Incorporation Theory of Problem Solving (Preliminary Report), 145

Ullman, 1986, Preliminary Results of an Experimental Study of the Mechanical Design Process, C.S. Dept. report #86-30-9

1986

Doyle, 1980, A model for deliberation, action, and introspection

Freeman, 1971, A model for functional reasoning in design, 621

Friedland, 1979, Knowledge-based experiment design in molecular genetics

Hayes, 1977, In defense of logic, 559

Hayes, 1979, The naive physics manifesto

Hayes-Roth, 1979, A cognitive model of planning, 275

Hewitt, 1975, How to use what you know, 189

Kelly, 1984, The CRITTER System: Automated Critiquing of Digital Hardware Designs

Kowalski, 1983, The VLSI Design Automation Assistant: Prototype System, 479

Kowalski, 1983, The VLSI design automation assistant: first steps, 126

Lenat, 1977, Automated theory formation in mathematics, 833

Lenat, 1982, Heuristic search for new microcircuit structures: An application of artificial intelligence, The AI Magazine, III, 17

Lenat, 1983, EURISKO: A program that learns new heuristics and domain concepts, Artificial Intelligence, 21, 61, 10.1016/S0004-3702(83)80005-8

Liew, 1987, Knowledge compilation: A prototype system and a conceptual framework, AI/VLSI Project Working Paper No. 47

Mackinlay, 1984, Expressiveness of languages

Marr, 1977, Artificial Intelligence — A Personal View, Artificial Intelligence, 9, 37, 10.1016/0004-3702(77)90013-3

Martin, 1977, Knowledge base management for experiment planning in molecular genetics, 882

McAllester, 1980, An outlook on truth maintenance

McCarthy, 1980, Circumscription — A form of non-monotonic reasoning, Artificial Intelligence, 13, 27, 10.1016/0004-3702(80)90011-9

McCarthy, 1981, Some philosophical problems from the standpoint of artificial intelligence, Readings in artificial intelligence

McDermott, 1980, R1: An expert in the computer systems domain, 269

Minsky, 1963, Steps toward artificial intelligence

Mitchel, 1983, Learning and problem-solving, 1139

Mitchell, 1985, LEAP: A Learning Apprentice for VLSI design

Mostow, 1985, Toward better models of the design process, AI Magazine, 6, 44

Newell, 1969, Heuristic programming: ill-structured problems, 363

Newell, 1976, Computer science as empirical inquiry: Symbols and search, 113

Newell, 1982, The knowledge level, Artificial Intelligence, 18, 87, 10.1016/0004-3702(82)90012-1

Rosch, 1976, Basic objects in natural categories, Cognitive Psychology, 8, 10.1016/0010-0285(76)90013-X

Sacerdoti, 1974, Planning in a hierarchy of abstraction spaces, Artificial Intelligence, 5, 115, 10.1016/0004-3702(74)90026-5

Sacerdoti, 1975, The nonlinear nature of plans, 206

Sacerdoti, 1977

Simon, 1981

Southard, 1983, MacPitts: An Approach to Silicon Compilation, IEEE Computer Magazine, 10.1109/MC.1983.1654270

Stallman, 1977, Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence, 9, 135, 10.1016/0004-3702(77)90029-7

Steele, 1979, The definition and implementation of a computer programming language based on constraints

Stefik, 1980, Planning With Constraints

Stefik, 1981, Planning with constraints (MOLGEN: Part 1), Artificial Intelligence, 16, 111, 10.1016/0004-3702(81)90007-2

Stefik, 1982, The organization of expert systems: a prescriptive tutorial, Artificial Intelligence, 10.1016/0004-3702(82)90038-8

Stefik, 1982, Toward the Principled Engineering of Knowledge, AI Magazine, 3, 4

Stefik, 1982, The partitioning of concerns in digital system design, 43

Stefik, 1986, Object-oriented programming: themes and variations, AI Magazine, 6, 40

Steinberg, 1984, A Knowledge Based Approach to VLSI CAD: The REDESIGN System, 412

Steinberg, 1987, A Knowledge-Based Approach to Design

Sussman, 1975

Sussman, 1980, Constraints — A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6

Tong, 1986, KBSDE: An environment for developing knowledge-based design tools

Tong, 1986, Representation of circuits, Excerpted from Chapter 3 of Stanford, Rutgers AI/VLSI Project Working Paper No. 29

Tong, 1987, Goal-Directed Planning of the Design Process, 284

Tong, C. Knowledge-based circuit design. PhD thesis, Stanford University, Knowledge Systems Laboratory, forthcoming

Winograd, 1975, Frames and the declarative-procedural controversy

Wingorad, 1979, Beyond programming languages, Communications of the ACM, 22, 391, 10.1145/359131.359133