Joseph Y. Halpern

IBM Research - Almaden, Cornell University

Papers

Total Citations

H-Index

About

Joseph Y. Halpern is a pioneering computer scientist whose work bridges the foundations of knowledge representation, reasoning about uncertainty, and distributed systems. His seminal paper "Cheating husbands and other stories: A case study of knowledge, action, and communication" (1986, 78 citations) remains a landmark in epistemic logic, demonstrating how formal models of knowledge can illuminate puzzles in game theory and multi-agent interaction. Halpern’s broader contributions include foundational frameworks for reasoning about knowledge in distributed computing, where he helped establish how agents’ knowledge states determine their ability to coordinate and act. His work on "On the knowledge requirements of tasks" (1998, 17 citations) further explores the minimal knowledge needed for agents to achieve goals, influencing AI and robotics. More recently, Halpern has extended these ideas to continuous-time decision-making, as in "MDPs with Unawareness in Robotics" (2020), where he formalizes how robots can plan under partial ignorance. A recipient of the ACM SIGART Autonomous Agents Research Award and a fellow of the AAAI and ACM, Halpern’s research has shaped how we understand intelligence, both human and artificial. His work is essential reading for anyone interested in the logical and computational underpinnings of knowledge, action, and decision-making.