Raymond Reiter

About

Raymond Reiter is a foundational figure in artificial intelligence, best known for pioneering the logical foundations of action and change. His primary research areas include the situation calculus, high-level robot programming, and knowledge representation. Reiter’s most transformative contribution is the development of GOLOG, a logic programming language for dynamic domains, which allows agents to reason about and execute complex actions in changing environments. His seminal 1997 paper on GOLOG has garnered over 1,000 citations, reflecting its profound impact on AI planning and robotics. In his influential book *Knowledge in Action* (2001, 569 citations), Reiter provided a comprehensive framework for specifying and implementing dynamical systems using the situation calculus, bridging theory and practice. He also advanced decision-theoretic agent programming with DTGolog (2000, 195 citations), integrating high-level control with probabilistic planning. Reiter’s work on execution monitoring (1998, 102 citations) further enabled robots to adapt to unexpected events during online operation. His logical approach to robot programming remains a cornerstone of autonomous systems research, inspiring generations of AI and robotics researchers.

Research Focus

Key Achievements

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

Contact & Links