author : Fikes
1
publication
STRIPS: A new approach to the application of theorem proving to problem solving (1971) — Richard E. Fikes, Nils J. Nilsson STRIPS: A new approach to the application of theorem proving to problem solving (1971) — Richard E. Fikes, Nils J. Nilsson