Nils Nilsaon STRIPS a new approach to the application of theorem proving to problem solving (1971)

by Richard Fikes
Venue:1404 NATURAL LANGUAGE