Constraints—A language for expressing almost-hierarchical descriptions

Borning, 1977, ThingLab—an object-oriented system for building simulations using constraints, 497 Brown, 1975, Qualitative knowledge, causal reasoning, and the localization of failures 1977, MIT AI Lab Technical Report 362 Brown, 1978, Automatic synthesis of numerical computer programs Church, 1941, Vol. 6 Dahl, 1972 Davis, 1976, Applications of meta level knowledge to the construction, maintenance and use of large knowledge bases de Kleer, 1976, Local methods for localization of faults in electronic circuits, MIT AI Lab Memo 394 de Kleer, 1978, Propagation of constraints applied to circuit synthesis, MIT AI Lab Memo 485 Dijkstra, 1970, Structured programming Doyle, 1977, Truth maintenance systems for problem solving 1978, MIT AI Lab Technical Report 419 Ernst, 1969 Fahlman, 1973, A planning system for robot construction tasks 1973, MIT AI Lab Technical Report 283 Fikes, 1975, Deductive retrieval mechanisms for state description models Floyd, 1967, Nondeterministic algorithms, J. ACM, 10.1145/321420.321422 Freeman, 1977, A model for functional reasoning in design 1976 Goldstein, 1975, Summary of MYCROFT: a system for understanding simple picture programs, Artificial Intelligence, 6, 249, 10.1016/0004-3702(75)90003-X Hewitt, 1971, Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot 1972, MIT AI Lab Technical Report 258 Lacombe, 1976, Artificial Intelligence in computer-aided design: the tropic system London, 1978, Dependency networks as a representation for modelling in general problem solvers 1977, macsyma McAllester, 1978, A three-valued truth maintenance system McDermott, 1973, Assimilation of new information by a natural language-understanding system 1974 McDermott, D. V., and Doyle, J., Non-Monotonic Logic I, Artificial Intelligence, To appear. Moses, 1969, Symbolic integration Polya, 1972, Vols. I and II Rich, 1976, Computer aided evolutionary design for software engineering Sacerdoti, 1973, Planning in a hierarchy of abstraction spaces Sacerdoti, 1977 Simon, 1969 Shortcliffe, 1974, mycin—A rule-based computer program for advising physicians regarding antimicrobial therapy selection Shortcliffe, 1976 Sussman, 1973, Ph.D. thesis 1975 Sussman, 1974, The virtuous nature of bugs Sussman, 1977, slices: At the boundary between analysis and synthesis Sussman, 1977 1977 Sussman, 1979, Computer aided evolutionary design for digital integrated systems 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 Sussman, 1972, From planner to conniver—A genetic approach, 1171 Sussman, 1975, Heuristic techniques in computer-aided circuit analysis, IEEE Transactions on Circuits and Systems, CAS-22, 10.1109/TCS.1975.1083985 Sussman, 1971 Sutherland, 1963, sketchpad: A man-machine graphical communication system, 10.1145/1461551.1461591 Wirth, 1971, Program development by stepwise refinement, C. ACM, 14, 10.1145/362575.362577