foundations of computational agents
The STRIPS representation was developed by Fikes and Nilsson .
Regression planning was pioneered by Waldinger . The use of weakest preconditions is based on the work of Dijkstra , where it was used to define the semantics of imperative programming languages. This should not be too surprising because the commands of an imperative language are actions that change the state of the computer.
Planning as CSP is based on Graphplan [Blum and Furst, 1997] and Satplan [Kautz and Selman, 1996] and is also investigated by Lopez and Bacchus  and van Beek and Chen . Bryce and Kambhampati  surveys the field.
Partial-order planning was introduced in Sacerdoti’s  NOAH and followed up in Tate’s  NONLIN system, Chapman’s  TWEAK algorithm, and McAllester and Rosenblitt’s  systematic non-linear planning (SNLP) algorithm. See Weld  for an overview of partial-order planning and see Kambhampati et al.  for a comparison of the algorithms. The version presented here is basically SNLP (but see Exercise 14).