On the semantics of STRIPS

Open in new window