Richard Waldinger
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
- 1QA4: A Procedural Calculus for Intuitive Reasoning.71 citations · 1972
- 2How to clear a block: A theory of plans66 citations · 1987
- 3A Language for Writing Problem-solving Programs26 citations · 1971
- 4The QA4 language applied to robot planning15 citations · 1972
- 5How to clear a block: Plan formation in situational logic11 citations · 1986
Key Collaborators
Not generated yet