Papers
3
Total Citations
38
H-Index
3
About
No biography available yet.
Research Focus
Robot3 · 38 citations
Set (abstract data type)3 · 38 citations
Time complexity3 · 38 citations
Theoretical computer science3 · 38 citations
Algorithm3 · 38 citations
Computer science3 · 38 citations
Artificial intelligence3 · 38 citations
Mathematics3 · 38 citations
Programming language2 · 29 citations
Logic programming1 · 26 citations
Computational complexity theory1 · 26 citations
Horn clause1 · 26 citations
Key Achievements
3
H-Index
3
Papers
38
Total Citations
13
Avg Citations/Paper
🏆 Most Cited Paper
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
26 citations · 2001
📈 Most Prolific Year: 2001 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Russian State University for the Humanities, Queen Mary University of London, University of Pennsylvania
Top Papers
- 1
- 2
- 3
Key Collaborators
Not generated yet