Planning for conjunctive goals

Plans and Situated Actions: The Problem of Human-Machine Communication

Barry H. Kantowitz, Lucy Suchman · The American Journal of Psychology · 1990 · 5.3K citations

Social Sciences, Communication, Communication Theory +13

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 for conjunctive goals

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

Computing, Autonomous Systems, Path Planning +5

Planning with constraints (MOLGEN: Part 1)

Mark Stefik · Artificial Intelligence · 1981 · 817 citations

Natural Sciences, Autonomous Systems, Optimization +6

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

Computing, Computer Engineering, Computer Science +7