A synthesis method for chemical plant operating procedures

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

Planning with constraints (MOLGEN: Part 1)

Mark Stefik · Artificial Intelligence · 1981 · 817 citations

Natural Sciences, Autonomous Systems, Optimization +6

Computer-aided Synthesis of Fault-trees

Steven A. Lapp, Gary J. Powers · IEEE Transactions on Reliability · 1977 · 271 citations

Engineering, Computer Engineering, Computer Science +13

Computer aided synthesis of fault-trees

Microelectronics Reliability · 1977 · 241 citations

Engineering, Computer Engineering, Computer Science +8

Computer-Aided Synthesis of Chemical Process Designs. From Reaction Path Data to the Process Task Network

Jeffrey J. Siirola, Dale F. Rudd · Industrial & Engineering Chemistry Fundamentals · 1971 · 115 citations

Engineering, Chemical Engineering, Chemistry +13