Joseph Halpern

URI: https://gptkb.org/entity/Joseph_Halpern

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Harvard_University
gptkbp:awardReceived	gptkb:Gödel_Prize gptkb:Dijkstra_Prize gptkb:AAAI_Fellowship gptkb:AAAS_Fellowship gptkb:ACM_Fellowship gptkb:SIGART_Autonomous_Agents_Research_Award
gptkbp:birthYear	1953
gptkbp:doctoralAdvisor	gptkb:Richard_Jeffrey
gptkbp:editor	gptkb:Journal_of_Logic_and_Computation gptkb:Journal_of_the_ACM gptkb:Journal_of_Economic_Theory gptkb:Distributed_Computing gptkb:Games_and_Economic_Behavior
gptkbp:field	gptkb:artificial_intelligence computer science distributed systems game theory epistemic logic reasoning about knowledge
https://www.w3.org/2000/01/rdf-schema#label	Joseph Halpern
gptkbp:memberOf	gptkb:American_Association_for_the_Advancement_of_Science gptkb:Association_for_Computing_Machinery gptkb:American_Association_for_Artificial_Intelligence
gptkbp:nationality	gptkb:American
gptkbp:notableWork	gptkb:Halpern–Shoham_logic Reasoning About Knowledge
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:workInstitution	gptkb:Cornell_University gptkb:IBM_Almaden_Research_Center
gptkbp:bfsParent	gptkb:Albert_R._Meyer
gptkbp:bfsLayer	5