Patrick John Hayes

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:affiliation	gptkb:Stanford_University gptkb:University_of_Edinburgh gptkb:University_of_Illinois_at_Urbana-Champaign gptkb:University_of_Essex gptkb:Institute_for_Human_and_Machine_Cognition
gptkbp:almaMater	gptkb:University_of_Cambridge
gptkbp:awardReceived	gptkb:Fellow_of_the_Association_for_Computing_Machinery gptkb:AAAI_Fellow gptkb:IJCAI_Donald_E._Walker_Distinguished_Service_Award
gptkbp:birthYear	1944
gptkbp:doctoralAdvisor	gptkb:Donald_Michie
https://www.w3.org/2000/01/rdf-schema#label	Patrick John Hayes
gptkbp:knownFor	gptkb:artificial_intelligence gptkb:dictionary gptkb:situation_calculus gptkb:knowledge_representation semantic web
gptkbp:memberOf	gptkb:AAAS gptkb:ACM gptkb:AAAI
gptkbp:nationality	British
gptkbp:occupation	gptkb:computer_scientist gptkb:logic
gptkbp:publishedIn	gptkb:Naive_Physics_Manifesto gptkb:A_Catalog_of_Temporal_Theories gptkb:Semantic_Foundations_for_the_Semantic_Web gptkb:Some_Problems_and_Non-Problems_in_Representation_Theory_of_Knowledge gptkb:The_Logic_of_Frames
gptkbp:bfsParent	gptkb:Pat_Hayes
gptkbp:bfsLayer	6