📰 Artificial Intelligence 1971 — papers

The works of Artificial Intelligence published in 1971 that our library holds (publisher: Elsevier BV): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

1. Strips: A new approach to the application of theorem proving to problem solvingRichard E. Fikes, Nils J. Nilsson4,865 citations · our summary
2. On seeing things ↗M.B. Clowes675 citations
3. Artificial Paranoia ↗Kenneth Mark Colby, Sylvia Weber, Franklin Dennis Hilf297 citations
4. Linear resolution with selection function ↗Robert Kowalski, D. Brian Kuehner259 citations
5. Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence ↗Aaron Sloman193 citations
6. Grid coding: A preprocessing technique for robot and machine vision ↗Peter M. Will, Keith S. Pennington144 citations
7. A paradigm for reasoning by analogy ↗Robert E. Kling122 citations
8. Protocol analysis as a task for artificial intelligence ↗DONALD A. WATERMAN, Allen Newell104 citations
9. Splitting and reduction heuristics in automatic theorem proving ↗Woodrow W. Bledsoe103 citations
10. An admissible and optimal algorithm for searching AND/OR graphs ↗C. L. Chang, James Robert Slagle89 citations

All works of the year (14)

The most cited first; 1 with our summary link to their page here, the others to the original.

1. Strips: A new approach to the application of theorem proving to problem solvingRichard E. Fikes, Nils J. Nilsson4,865 citations · our summary
2. On seeing things ↗M.B. Clowes675 citations
3. Artificial Paranoia ↗Kenneth Mark Colby, Sylvia Weber, Franklin Dennis Hilf297 citations
4. Linear resolution with selection function ↗Robert Kowalski, D. Brian Kuehner259 citations
5. Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence ↗Aaron Sloman193 citations
6. Grid coding: A preprocessing technique for robot and machine vision ↗Peter M. Will, Keith S. Pennington144 citations
7. A paradigm for reasoning by analogy ↗Robert E. Kling122 citations
8. Protocol analysis as a task for artificial intelligence ↗DONALD A. WATERMAN, Allen Newell104 citations
9. Splitting and reduction heuristics in automatic theorem proving ↗Woodrow W. Bledsoe103 citations
10. An admissible and optimal algorithm for searching AND/OR graphs ↗C. L. Chang, James Robert Slagle89 citations
11. Extracting information from resolution proof trees ↗David C. Luckham, Nils J. Nilsson59 citations
12. Hypothesis generation by machine ↗Charles G. Morgan46 citations
13. Experiments with a heuristic theorem-proving program for predicate calculus with equality ↗Lewis M. Norton20 citations
14. Formal methods in the design of question-answering systems ↗Erik J. Sandewall16 citations

📄 Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. STRIPS: A new approach to the application of theorem proving to problem solvingArtificial IntelligenceRichard E. Fikes, Nils J. Nilsson1971 · 4,967 citations

🧭 Top topics

Topics of its works in our library, with the number of works on each.

🧮Reasoning (1)

📚 Fields

🖥️Computer Science (1)

🏛️ Top institutions

Institutions on the bylines of its works here, by the number of works.

🔬SRI InternationalMenlo Park · United States1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/artificial-intelligence/1971/