Strips: A new approach to the application of theorem proving to problem solving
Year: 1971
Type: article
Source: Artificial Intelligence
Authors: Richard E. Fikes, Nils J. Nilsson
Institution: SRI International
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2337392266
