Ray Reiter

Papers

Total Citations

H-Index

About

Ray Reiter is a foundational figure in artificial intelligence, best known for pioneering the situation calculus—a logical framework for representing and reasoning about dynamic systems. His work formalizes how actions change the world, enabling AI agents to plan, reason, and act in complex environments. Reiter’s contributions include the development of the "successor state axioms," which elegantly solve the frame problem by specifying what remains unchanged after an action. His book, *Knowledge in Action*, remains a cornerstone of AI research, synthesizing decades of work on reasoning about action and change. While his most-cited paper, "Non-terminating processes in the situation calculus" (2019, 12 citations), explores ongoing processes, his broader impact is immense: his seminal papers have garnered thousands of citations, shaping fields like robotics, cognitive science, and automated planning. Reiter’s legacy lies in providing a rigorous, logical foundation for AI that continues to inspire new generations of researchers tackling problems in autonomous systems and knowledge representation.