Michael Kifer

Stony Brook University

论文数

2

总引用数

16

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 16 次引用
Artificial intelligence2 · 16 次引用
Programming language2 · 16 次引用
Theoretical computer science2 · 16 次引用
Completeness (order theory)1 · 9 次引用
STRIPS1 · 9 次引用
Database transaction1 · 9 次引用
Mathematics1 · 9 次引用
Rotation formalisms in three dimensions1 · 9 次引用
Logic programming1 · 7 次引用
Multimodal logic1 · 7 次引用
Non-monotonic logic1 · 7 次引用

主要成就

2
H 指数
2
论文
16
总引用数
8
篇均引用
🏆 最高被引论文
Planning with Transaction Logic
9 次引用 · 2014
📈 最高产年份: 2014 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: Stony Brook University

代表论文

  1. 1
    Planning with Transaction Logic
    9 次引用 · 2014
  2. 2
    Transaction Logic with Defaults and Argumentation Theories
    7 次引用 · 2011

主要合作者

AJAnthony J. Bonner1 篇合著论文RBReza Basseda1 篇合著论文PFPaul Fodor1 篇合著论文
尚未生成