Michael Kifer
Papers
2
Total Citations
16
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 16 citations
Artificial intelligence2 · 16 citations
Programming language2 · 16 citations
Theoretical computer science2 · 16 citations
Completeness (order theory)1 · 9 citations
STRIPS1 · 9 citations
Database transaction1 · 9 citations
Mathematics1 · 9 citations
Rotation formalisms in three dimensions1 · 9 citations
Logic programming1 · 7 citations
Multimodal logic1 · 7 citations
Non-monotonic logic1 · 7 citations
Key Achievements
2
H-Index
2
Papers
16
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Planning with Transaction Logic
9 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Stony Brook University
Top Papers
- 1Planning with Transaction Logic9 citations · 2014
- 2Transaction Logic with Defaults and Argumentation Theories7 citations · 2011
Key Collaborators
Not generated yet