Publications of N. Nilsson
1971
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 ,