🧑🔬 Richard E. Fikes — papers of 1971 — Elamur Research1 paper · all years of Richard E. FikesSTRIPS: A new approach to the application of theorem proving to problem solvingArtificial IntelligenceRichard E. Fikes, Nils J. Nilsson1971 · 4,967 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/richard-e-fikes/year/1971/