Raymond Reiter

University of Toronto

论文数

7

总引用数

2,035

H-Index

7

关于

暂无简介。

研究焦点

Computer science7 · 2,035 次引用
Programming language5 · 1,364 次引用
Situation calculus3 · 1,324 次引用
Logic programming2 · 1,234 次引用
Interpreter2 · 1,234 次引用
Theoretical computer science2 · 1,234 次引用
Mathematics2 · 1,234 次引用
Abstraction2 · 1,048 次引用
Event calculus1 · 1,039 次引用
Equational logic1 · 1,039 次引用
Axiom1 · 1,039 次引用
Prolog1 · 1,039 次引用

主要成就

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

代表论文

  1. 1
    GOLOG: A logic programming language for dynamic domains
    1,039 次引用 · 1997
  2. 2
    Knowledge in Action
    569 次引用 · 2001
  3. 3
    Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
    195 次引用 · 2000
  4. 4
    Execution Monitoring of High-Level Robot Programs.
    102 次引用 · 1998
  5. 5
    A Logical Approach to High-Level Robot Programming A Progress Report*
    90 次引用 · 1994
  6. 6
    A Situation Calculus Approach to Modeling and Programming Agents
    31 次引用 · 1999
  7. 7
    Controlling autonomous robots with Golog
    9 次引用 · 1997

主要合作者

HJHector J. Levesque4 篇合著论文FLFangzhen Lin3 篇合著论文YLYves Lespérance3 篇合著论文MSMikhail Soutchanski2 篇合著论文RBRichard B. Scherl2 篇合著论文DMDaniel Marcu2 篇合著论文STSebastian Thrun1 篇合著论文KTKenneth Tam1 篇合著论文MJMichael Jenkin1 篇合著论文YLYves Lesp1 篇合著论文GDGiuseppe De Giacomo1 篇合著论文JEJohn E. Lloyd1 篇合著论文CBCraig Boutilier1 篇合著论文
尚未生成