J. Halpern

URI: https://gptkb.org/entity/J._Halpern

GPTKB entity

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 gptkb:epistemic_logic computer science
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
http://www.w3.org/2000/01/rdf-schema#label	J. Halpern