J. Halpern

URI: https://gptkb.org/entity/J._Halpern
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Harvard_University
gptkbp:award gptkb:Gödel_Prize
gptkb:Dijkstra_Prize
gptkbp:doctoralAdvisor gptkb:Albert_R._Meyer
gptkbp:employer gptkb:Cornell_University
gptkbp:field gptkb:artificial_intelligence
gptkb:probability_theory
computer science
epistemic logic
https://www.w3.org/2000/01/rdf-schema#label J. Halpern
gptkbp:name gptkb:Joseph_Y._Halpern
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Halpern–Shoham_logic
Reasoning About Knowledge
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:RFC_1940
gptkbp:bfsLayer 7