STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.

Richard Fikes, Nils J. Nilsson

Browse the full IJCAI paper archive.