Papers
5
Total Citations
140
H-Index
4
About
Yoram Moses is a pioneering figure in the application of epistemic logic—the logic of knowledge—to distributed computing and robotics. His foundational work, including the celebrated "Cheating Husbands and Other Stories" (1986, 78 citations), established a rigorous framework for reasoning about knowledge, action, and communication in multi-agent systems. Moses’s major contributions lie in demonstrating how formal models of knowledge can solve coordination problems, from distributed protocols to motion planning under uncertainty. His 1997 paper (36 citations) on applying knowledge logic to robot motion planning inspired a new abstraction for control problems, while his 1994 work (13 citations) further solidified this approach. His program refinement framework (2000, 11 citations) integrated knowledge and time into system design, and his 2012 paper (2 citations) offered a window into distributed coordination. With over 140 total citations, Moses’s work has profoundly influenced both theoretical computer science and practical robotics, showing how epistemic logic can untangle complex coordination challenges.
Research Focus
Key Achievements
Top Papers
- 1
- 2Applications of a logic of knowledge to motion planning under uncertainty36 citations · 1997
- 3Knowledge as a Tool in Motion Planning under Uncertainty13 citations · 1994
- 4A Program Refinement Framework Supporting Reasoning about Knowledge and Time11 citations · 2000
- 5Knowledge as a Window into Distributed Coordination2 citations · 2012