Richard Fikes
Papers
6
Total Citations
2,640
H-Index
6
About
No biography available yet.
Research Focus
Artificial intelligence6 · 2,640 citations
Computer science6 · 2,640 citations
STRIPS5 · 2,612 citations
Mathematical optimization2 · 2,520 citations
Mathematics2 · 2,520 citations
Calculus (dental)1 · 1,487 citations
Problem solver1 · 1,487 citations
Resolution (logic)1 · 1,487 citations
Discrete mathematics1 · 1,487 citations
Automated theorem proving1 · 1,487 citations
Algorithm1 · 1,487 citations
First-order logic1 · 1,487 citations
Key Achievements
6
H-Index
6
Papers
2,640
Total Citations
440
Avg Citations/Paper
🏆 Most Cited Paper
STRIPS: a new approach to the application of theorem proving to problem solving
1,487 citations · 1971
📈 Most Prolific Year: 1971 (3 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Menlo School, SRI International, Stanford University
Top Papers
- 1STRIPS: a new approach to the application of theorem proving to problem solving1,487 citations · 1971
- 2Learning and executing generalized robot plans1,033 citations · 1972
- 3Monitored Execution of Robot Plans Produced by Strips58 citations · 1971
- 4STRIPS, a retrospective28 citations · 1993
- 5Monitored Execution of Robot Plans Producted by STRIPS .26 citations · 1971
- 6
Key Collaborators
Not generated yet