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

Richard Fikes, Nils J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2(3/4):189-208, 1971.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.