|
|
R. Fikes and N. J. Nilsson (1971): STRIPS: A new approach to the application of theorem proving to problem solving
| Title: |
STRIPS: A new approach to the application of theorem proving to problem solving |
| Author(s): |
R. Fikes and N. J. Nilsson |
| Year: |
1971 |
| Journal: |
Artificial Intelligence |
| Volume: |
2 |
| Pages: |
189-208 |
Concepts
|
|
