Raymond Reiter

University of Toronto

Papers

7

Total Citations

2,035

H-Index

7

About

No biography available yet.

Research Focus

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

Key Achievements

7
H-Index
7
Papers
2,035
Total Citations
291
Avg Citations/Paper
🏆 Most Cited Paper
GOLOG: A logic programming language for dynamic domains
1,039 citations · 1997
📈 Most Prolific Year: 1997 (2 Papers)
🤝 Key Collaborators: 13
🏛 Institutions: University of Toronto

Top Papers

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

Key Collaborators

HJHector J. Levesque4 shared papersFLFangzhen Lin3 shared papersYLYves Lespérance3 shared papersMSMikhail Soutchanski2 shared papersRBRichard B. Scherl2 shared papersDMDaniel Marcu2 shared papersSTSebastian Thrun1 shared papersKTKenneth Tam1 shared papersMJMichael Jenkin1 shared papersYLYves Lesp1 shared papersGDGiuseppe De Giacomo1 shared papersJEJohn E. Lloyd1 shared papersCBCraig Boutilier1 shared papers
Not generated yet