Richard Waldinger

Menlo School, SRI International

Papers

5

Total Citations

189

H-Index

5

About

No biography available yet.

Research Focus

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

Key Achievements

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

Top Papers

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

Key Collaborators

JAJan Antonius Cornelius Derksen3 shared papersJFJ. F. Rulifson3 shared papersZMZohar Manna2 shared papers
Not generated yet