Yves Lespérance
Papers
11
Total Citations
1,260
H-Index
9
About
Yves Lespérance is a leading figure in cognitive robotics and agent programming, best known for co-developing GOLOG, a pioneering logic programming language for specifying and controlling autonomous agents in dynamic domains. His seminal 1997 paper on GOLOG has garnered over 1,039 citations, establishing a foundational framework that enables agents to reason about and execute complex actions using the situation calculus. Lespérance’s work extends this paradigm to concurrent execution, prioritized interrupts, and exogenous actions, as detailed in his highly cited 1997 paper (81 citations), which formalizes a rich programming language for high-level agent control. He has also made significant contributions to the theory of indexical knowledge, exploring how robots can act and perceive from a particular perspective without requiring omniscience—a theme developed across multiple papers (e.g., 1992, 1995, 1990). His research bridges logic-based reasoning and practical robotics, as seen in his work on reactivity and embedding ConGolog into agent programming frameworks like 3APL. With a career spanning foundational theory and applied systems, Lespérance’s impact is evident in the enduring influence of GOLOG on AI, robotics, and multi-agent systems.
Research Focus
Key Achievements
Top Papers
- 1GOLOG: A logic programming language for dynamic domains1,039 citations · 1997
- 2
- 3Indexical knowledge and robot action—a logical account33 citations · 1995
- 4A Situation Calculus Approach to Modeling and Programming Agents31 citations · 1999
- 5A formal theory of indexical knowledge and action20 citations · 1992
- 6An embedding of ConGolog in 3APL17 citations · 2000
- 7Reactivity in a Logic-Based Robot Programming Framework10 citations · 2000
- 8Controlling autonomous robots with Golog9 citations · 1997
- 9Indexical knowledge in robot plans9 citations · 1990
- 10Reactivity in a Logic-Based Robot Programming Framework7 citations · 1998