|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Harvard_University
gptkb:Massachusetts_Institute_of_Technology
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Gödel_Prize
gptkb:IEEE_Fellow
gptkb:AAAI_Fellow
gptkb:Dijkstra_Prize
|
|
gptkbp:birthYear
|
1953
|
|
gptkbp:doctoralAdvisor
|
gptkb:Albert_R._Meyer
|
|
gptkbp:editor
|
gptkb:Journal_of_the_ACM
gptkb:Journal_of_Economic_Theory
gptkb:Distributed_Computing
gptkb:Games_and_Economic_Behavior
|
|
gptkbp:employer
|
gptkb:Cornell_University
|
|
gptkbp:field
|
gptkb:artificial_intelligence
gptkb:logic
computer science
distributed systems
game theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Joseph Y. Halpern
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableWork
|
gptkb:A_Modal_Logic_for_Reasoning_About_Knowledge_and_Probability
Reasoning About Knowledge
Knowledge and Common Knowledge in a Distributed Environment
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:bfsParent
|
gptkb:Subjectivity_and_Correlation_in_Randomized_Strategies
|
|
gptkbp:bfsLayer
|
6
|