Fangzhen Lin

University of Toronto, Hong Kong University of Science and Technology

Papers

7

Total Citations

1,179

H-Index

5

About

No biography available yet.

Research Focus

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

Key Achievements

5
H-Index
7
Papers
1,179
Total Citations
168
Avg Citations/Paper
🏆 Most Cited Paper
GOLOG: A logic programming language for dynamic domains
1,039 citations · 1997
📈 Most Prolific Year: 1998 (3 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: University of Toronto, Hong Kong University of Science and Technology

Top Papers

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

Key Collaborators

HJHector J. Levesque4 shared papersRRRaymond Reiter3 shared papersYLYves Lespérance2 shared papersRBRichard B. Scherl2 shared papersDMDaniel Marcu2 shared papersMJMichael Jenkin1 shared papersKTKenneth Tam1 shared papersYLYves Lesp1 shared papersJEJohn E. Lloyd1 shared papers
Not generated yet