Publications of R. Fikes sorted by journal and type
Artificial Intelligence
STRIPS: a new approach to the application of theorem proving to problem solving (1971), in: Artificial Intelligence, 2(189--208) | and ,
STRIPS: a new approach to the application of theorem proving to problem solving (1971), in: Artificial Intelligence, 2(189--208) | and ,