Data up to Jan 2025
STRIPS: a new approach to the application of theorem proving to problem solving
1971 • 195 citations