Geoff Sutcliffe
Papers
1
Total Citations
4
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 4 citations
Artificial intelligence1 · 4 citations
Automated theorem proving1 · 4 citations
Calculus (dental)1 · 4 citations
Computer science1 · 4 citations
Event (particle physics)1 · 4 citations
Event calculus1 · 4 citations
First-order logic1 · 4 citations
Mathematics1 · 4 citations
Natural deduction1 · 4 citations
Programming language1 · 4 citations
Proof calculus1 · 4 citations
Key Achievements
1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Reasoning in the event calculus using first-order automated theorem proving
4 citations · 2005
📈 Most Prolific Year: 2005 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: University of Miami
Top Papers
- 1
Key Collaborators
Not generated yet