J. F. Rulifson

SRI International

论文数

3

总引用数

112

H-Index

3

关于

暂无简介。

研究焦点

Programming language3 · 112 次引用
Computer science3 · 112 次引用
Mathematics2 · 97 次引用
Artificial intelligence2 · 86 次引用
Interpreter2 · 86 次引用
Logic programming1 · 71 次引用
Associative property1 · 71 次引用
Deductive reasoning1 · 71 次引用
Reasoning system1 · 71 次引用
Lisp2 · 41 次引用
Context (archaeology)2 · 41 次引用
Backtracking2 · 41 次引用

主要成就

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

代表论文

  1. 1
    QA4: A Procedural Calculus for Intuitive Reasoning.
    71 次引用 · 1972
  2. 2
    A Language for Writing Problem-solving Programs
    26 次引用 · 1971
  3. 3
    The QA4 language applied to robot planning
    15 次引用 · 1972

主要合作者

JAJan Antonius Cornelius Derksen3 篇合著论文RWRichard Waldinger3 篇合著论文
尚未生成