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. In IJCAI. pages 608-620, 1971.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.