Dianhuan Lin
Papers
2
Total Citations
258
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 258 citations
Artificial intelligence2 · 258 citations
Programming language2 · 258 citations
Arity1 · 192 citations
Datalog1 · 192 citations
Decidability1 · 192 citations
Discrete mathematics1 · 192 citations
First-order logic1 · 192 citations
Mathematics1 · 192 citations
Predicate (mathematical logic)1 · 192 citations
Prolog1 · 192 citations
Theoretical computer science1 · 192 citations
Key Achievements
2
H-Index
2
Papers
258
Total Citations
129
Avg Citations/Paper
🏆 Most Cited Paper
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
192 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Imperial College London, Clarion University
Top Papers
- 1
- 2
Key Collaborators
Not generated yet