STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Richard E. Fikes and Nils J. Nilsson, “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving”. Proceedings of the Second International Joint Conference on Artificial Intelligence, pp. 608–619 (published 1971). Second IJCAI, London, 1–3 September 1971 (conference, September 1971). The 1971 Artificial Intelligence journal version was not retrieved.
- Issued by
- No issuing record yet. A missing record is a gap in coverage.
- Authors credited
- Nils J. Nilsson
- Dates
- Published 1971 authorship evidence
- Exact source
- STRIPS paper detail page (ijcai.org) IJCAI · published 1971 · Retrieved for the candidate pack on 2026-10-29 (SHA-256 837d527c891d30932085f2c8525eb54ae0a32f3c28bdb944a6f433a03cd19fe9). Current paper detail page with abstract and extracted references, ijcai.org
- Proceedings of the Second International Joint Conference on Artificial Intelligence (ijcai.org index page) IJCAI · published 1971 · Retrieved for the candidate pack on 2026-10-29 (SHA-256 cb2a6be03c5ecd923fd22140d01ff13092b490201b304b507c22407e2c08500a). Current proceedings index page, ijcai.org; read for the bounded title search only
- STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving IJCAI (proceedings host) · published 1971 · Retrieved for the candidate pack on 2026-10-29 (SHA-256 293e2f5613b940bfa7f0f053d5669423fe08813cb23e19f1a356a8c47ea1c4bc). Proceedings PDF as hosted by ijcai.org (IJCAI 1971, paper 63, pp. 608–619); text layer noisy in places
Appears in
No collection holds a record about this document yet.
Versions
No other versions of this document are recorded. The evidence applies to the source version listed above. Other versions, such as a preprint, working paper or journal publication, are not identified or substituted.
Issue and authorship records
Documentary relations
Each relation is listed separately. Citing, crediting and reporting the use of a method are different acts, and none of them shows agreement or influence by itself.
Discusses · 1
Concepts explicitly discussed. No earliest use, invention or transmission is claimed.
Not recorded for this document: cites · cited by · explicitly credits · reports using a method from · method reported as used by · applies parts of · parts applied by · reports evaluation of. A missing record does not show that the relation does not exist.
What the document states
A limited selection of what this document states, each with its passage. It describes the text, not whether anyone acted on it.