|
|
Richard E. Fikes and Peter E. Hart and Nils J. Nisson (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): |
Richard E. Fikes and Peter E. Hart and Nils J. Nisson |
| Year: |
1971 |
| Journal: |
Artificial Intelligence |
| Volume: |
2 |
| Pages: |
189-208 |
Concepts
|
|
