Hector J. Levesque

University of Toronto

论文数

25

总引用数

1,974

H-Index

14

关于

暂无简介。

研究焦点

Computer science25 · 1,974 次引用
Programming language13 · 1,811 次引用
Mathematics13 · 1,541 次引用
Situation calculus10 · 1,462 次引用
Theoretical computer science10 · 1,262 次引用
State (computer science)5 · 1,138 次引用
Axiom3 · 1,135 次引用
Interpreter2 · 1,069 次引用
Prolog2 · 1,069 次引用
Abstraction2 · 1,048 次引用
Event calculus1 · 1,039 次引用
Logic programming1 · 1,039 次引用

主要成就

14
H 指数
25
论文
1,974
总引用数
79
篇均引用
🏆 最高被引论文
GOLOG: A logic programming language for dynamic domains
1,039 次引用 · 1997
📈 最高产年份: 1997 (3 论文)
🤝 主要合作者: 14
🏛 所属机构: University of Toronto

代表论文

  1. 1
    GOLOG: A logic programming language for dynamic domains
    1,039 次引用 · 1997
  2. 2
    Knowledge, action, and the frame problem
    276 次引用 · 2003
  3. 3
    What is planning in the presence of sensing
    202 次引用 · 1996
  4. 4
    A Logical Approach to High-Level Robot Programming A Progress Report*
    90 次引用 · 1994
  5. 5
    Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
    81 次引用 · 1997
  6. 6
    Indexical knowledge and robot action—a logical account
    33 次引用 · 1995
  7. 7
    A Situation Calculus Approach to Modeling and Programming Agents
    31 次引用 · 1999
  8. 8
    What robots can do: robot programs and effective achievability
    30 次引用 · 1998
  9. 9
    Incremental execution of guarded theories
    30 次引用 · 2001
  10. 10
    Reasoning about continuous uncertainty in the situation calculus
    22 次引用 · 2013

主要合作者

VBVaishak Belle10 篇合著论文YLYves Lespérance6 篇合著论文RBRichard B. Scherl4 篇合著论文RRRaymond Reiter4 篇合著论文FLFangzhen Lin4 篇合著论文DMDaniel Marcu2 篇合著论文GDGiuseppe De Giacomo2 篇合著论文YLYves Lesp2 篇合著论文SSSebastian Sardiña1 篇合著论文KTKenneth Tam1 篇合著论文MJMichael Jenkin1 篇合著论文KVKoen V. Hindriks1 篇合著论文JEJohn E. Lloyd1 篇合著论文YHYuxiao Hu1 篇合著论文
尚未生成