📅 Papers of 19711 paper · papers of all yearsSTRIPS: 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/papers/1971/