|
|
Richard E. Fikes and Nils J. Nilsson (1990): 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: |
1990 |
| Booktitle: |
Readings in Planning |
| Editor(s): |
James Allen and James Hendler and Austin Tate |
| Pages: |
88-97 |
| Publisher: |
Morgan Kaufmann |
Concepts
|
|
