J. F. Rulifson

SRI International

Papers

3

Total Citations

112

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
112
Total Citations
37
Avg Citations/Paper
🏆 Most Cited Paper
QA4: A Procedural Calculus for Intuitive Reasoning.
71 citations · 1972
📈 Most Prolific Year: 1972 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: SRI International

Top Papers

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

Key Collaborators

JAJan Antonius Cornelius Derksen3 shared papersRWRichard Waldinger3 shared papers
Not generated yet