Sound and efficient closed-world reasoning for planning

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

Planning for conjunctive goals

David Chapman · Artificial Intelligence · 1987 · 1.1K citations · Full text

Computing, Autonomous Systems, Path Planning +5

UCPOP: a sound, complete, partial order planner for ADL

J. Scott Penberthy, Daniel S. Weld · Principles of Knowledge Representation and Reasoning · 1992 · 688 citations

Computing, Computer Science, Algorithms +7

Generating project networks

Austin Tate · International Joint Conference on Artificial Intelligence · 1977 · 625 citations

Management, Operations Management, Operations Planning +9

An Introduction to Least Commitment Planning

Daniel S. Weld · 1994 · 587 citations

Computing, Autonomous Systems, Decision Theory +12