关于

暂无简介。

研究焦点

主要成就

3
H 指数
3
论文
38
总引用数
13
篇均引用
🏆 最高被引论文
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
26 次引用 · 2001
📈 最高产年份: 2001 (1 论文)
🤝 主要合作者: 1
🏛 所属机构: Russian State University for the Humanities, Queen Mary University of London, University of Pennsylvania

代表论文

  1. 1
  2. 2
  3. 3

主要合作者

尚未生成