Richard Fikes

Menlo School, SRI International, Stanford University

论文数

6

总引用数

2,640

H-Index

6

关于

暂无简介。

研究焦点

Artificial intelligence6 · 2,640 次引用
Computer science6 · 2,640 次引用
STRIPS5 · 2,612 次引用
Mathematical optimization2 · 2,520 次引用
Mathematics2 · 2,520 次引用
Calculus (dental)1 · 1,487 次引用
Problem solver1 · 1,487 次引用
Resolution (logic)1 · 1,487 次引用
Discrete mathematics1 · 1,487 次引用
Automated theorem proving1 · 1,487 次引用
Algorithm1 · 1,487 次引用
First-order logic1 · 1,487 次引用

主要成就

6
H 指数
6
论文
2,640
总引用数
440
篇均引用
🏆 最高被引论文
STRIPS: a new approach to the application of theorem proving to problem solving
1,487 次引用 · 1971
📈 最高产年份: 1971 (3 论文)
🤝 主要合作者: 2
🏛 所属机构: Menlo School, SRI International, Stanford University

代表论文

  1. 1
    STRIPS: a new approach to the application of theorem proving to problem solving
    1,487 次引用 · 1971
  2. 2
    Learning and executing generalized robot plans
    1,033 次引用 · 1972
  3. 3
    Monitored Execution of Robot Plans Produced by Strips
    58 次引用 · 1971
  4. 4
    STRIPS, a retrospective
    28 次引用 · 1993
  5. 5
    Monitored Execution of Robot Plans Producted by STRIPS .
    26 次引用 · 1971
  6. 6
    Learning and Executing Generalized Robot Plans11The research reported herein was supported at SRI by the Advance Research Projects Agency of the Department of Defense, monitored by the U.S. Army Research Office-Durham under Contract DAHC04 72 C 0008.
    8 次引用 · 1981

主要合作者

NJNils J. Nilsson4 篇合著论文PEPeter E. Hart2 篇合著论文
尚未生成