GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Patrick John Hayes
URI:
https://gptkb.org/entity/Patrick_John_Hayes
GPTKB entity
Statements (31)
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