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