Planning with constraints (MOLGEN: Part 1)

Boyer, 1977, The construction of molecular cloning vehicles Brooks, 1975 Buchanan, 1978, DENDRAL and Meta-DENDRAL: Their applications dimension, Artificial Intelligence, 11, 5, 10.1016/0004-3702(78)90010-3 de Kleer, 1978, Propagation of constraints applied to circuit synthesis, MIT AI Memo 485 Fikes, 1970, REF-ARF: A system for solving problems stated as procedures, Artificial Intelligence, 1, 27, 10.1016/0004-3702(70)90003-2 Freuder, 1978, Synthesizing constraint expressions, Communications of the ACM, 21, 958, 10.1145/359642.359654 Friedland, P., Knowledge-based hierarchical planning in molecular genetics. Doctoral Dissertation, Computer Science Department, Stanford University. (Also Computer Science Department Report STAN-CS-79–771.) Gilbert, 1980, Useful proteins from recombinant bacteria, Sci. Am., 74, 10.1038/scientificamerican0480-74 Mackworth, 1977, Consistency in networks of relations, Artificial Intelligence, 8, 99, 10.1016/0004-3702(77)90007-8 McDermott, 1977, Flexibility and efficiency in a computer program for designing circuits Newell, 1963, GPS, A program that simulates human thought Polya, 1965, 2 Nilsson, 1980 Paxton, 1977, A framework for speech understanding Sacerdoti, 1979, Problem solving tactics, 1077 Sacerdoti, 1977 Sacerdoti, 1974, Planning in a hierarchy of abstraction spaces, Artificial Intelligence, 5, 115, 10.1016/0004-3702(74)90026-5 Simon, 1969, The science of design and the architecture of complexity Stefik, 1979, An examination of a frame-structured representation system, 845 Stefik, 1980, Planning with constraints Stefik, 1981, Planning and meta-planning, Artificial Intelligence, 16, 141, 10.1016/0004-3702(81)90008-4 Sussman, 1975, A Computer Model of Skill Acquisition Tate, 1977, Generating project networks, 888 Ullrich, 1977, Rat insulin genes: construction of plasmids containing the coding sequences, Science, 196, 1313, 10.1126/science.325648 Waldinger, 1975, Achieving several goals simultaneously, SRI Artificial Intelligence Center Technical Note 107 Winograd, 1975, Frame representations and the procedural/declarative controversy