Goals as parallel program specifications

Planning for conjunctive goals

1987 • 1,118 citations

Reactive reasoning and planning

1987 • 922 citations

Pengi: an implementation of a theory of activity

1987 • 895 citations

Universal plans for reactive robots in unpredictable environments

1987 • 487 citations

THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES

1986 • 292 citations

Recovering from execution errors in SIPE

1985 • 103 citations

Localized representation and planning methods for parallel domains

1987 • 32 citations