Fangzhen Lin

University of Toronto, Hong Kong University of Science and Technology

论文数

7

总引用数

1,179

H-Index

5

关于

暂无简介。

研究焦点

Computer science7 · 1,179 次引用
Programming language4 · 1,141 次引用
Situation calculus2 · 1,129 次引用
Mathematics3 · 1,072 次引用
Theoretical computer science2 · 1,069 次引用
Abstraction2 · 1,048 次引用
Axiom2 · 1,042 次引用
Logic programming1 · 1,039 次引用
Equational logic1 · 1,039 次引用
Event calculus1 · 1,039 次引用
Interpreter1 · 1,039 次引用
Prolog1 · 1,039 次引用

主要成就

5
H 指数
7
论文
1,179
总引用数
168
篇均引用
🏆 最高被引论文
GOLOG: A logic programming language for dynamic domains
1,039 次引用 · 1997
📈 最高产年份: 1998 (3 论文)
🤝 主要合作者: 9
🏛 所属机构: University of Toronto, Hong Kong University of Science and Technology

代表论文

  1. 1
    GOLOG: A logic programming language for dynamic domains
    1,039 次引用 · 1997
  2. 2
    A Logical Approach to High-Level Robot Programming A Progress Report*
    90 次引用 · 1994
  3. 3
    What robots can do: robot programs and effective achievability
    30 次引用 · 1998
  4. 4
    Controlling autonomous robots with Golog
    9 次引用 · 1997
  5. 5
    On Measuring Plan Quality (A Preliminary Report).
    5 次引用 · 1998
  6. 6
    A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
    3 次引用 · 2014
  7. 7
    On measuring plan quality
    3 次引用 · 1998

主要合作者

HJHector J. Levesque4 篇合著论文RRRaymond Reiter3 篇合著论文YLYves Lespérance2 篇合著论文RBRichard B. Scherl2 篇合著论文DMDaniel Marcu2 篇合著论文MJMichael Jenkin1 篇合著论文KTKenneth Tam1 篇合著论文YLYves Lesp1 篇合著论文JEJohn E. Lloyd1 篇合著论文
尚未生成