|
|
Richard E. Fikes and Nils 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): |
Richard E. Fikes and Nils J. Nilsson |
| Year: |
1971 |
| Booktitle: |
Proc. of the 2nd IJCAI |
Concepts
|
|
