Richard Waldinger

Menlo School, SRI International

论文数

5

总引用数

189

H-Index

5

关于

暂无简介。

研究焦点

Programming language5 · 189 次引用
Computer science5 · 189 次引用
Mathematics4 · 174 次引用
Artificial intelligence4 · 163 次引用
Mathematical proof3 · 103 次引用
Theoretical computer science3 · 103 次引用
Frame (networking)2 · 92 次引用
Interpreter2 · 86 次引用
Block (permutation group theory)2 · 77 次引用
Unification2 · 77 次引用
Plan (archaeology)2 · 77 次引用
Associative property1 · 71 次引用

主要成就

5
H 指数
5
论文
189
总引用数
38
篇均引用
🏆 最高被引论文
QA4: A Procedural Calculus for Intuitive Reasoning.
71 次引用 · 1972
📈 最高产年份: 1972 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: Menlo School, SRI International

代表论文

  1. 1
    QA4: A Procedural Calculus for Intuitive Reasoning.
    71 次引用 · 1972
  2. 2
    How to clear a block: A theory of plans
    66 次引用 · 1987
  3. 3
    A Language for Writing Problem-solving Programs
    26 次引用 · 1971
  4. 4
    The QA4 language applied to robot planning
    15 次引用 · 1972
  5. 5
    How to clear a block: Plan formation in situational logic
    11 次引用 · 1986

主要合作者

JAJan Antonius Cornelius Derksen3 篇合著论文JFJ. F. Rulifson3 篇合著论文ZMZohar Manna2 篇合著论文
尚未生成