gptkbp:instanceOf
|
gptkb:person
|
gptkbp:advisorTo
|
gptkb:Herbert_A._Simon
|
gptkbp:almaMater
|
gptkb:Carnegie_Mellon_University
gptkb:Harvard_University
|
gptkbp:awardReceived
|
gptkb:AAAI_Fellow
gptkb:IJCAI_John_McCarthy_Award
|
gptkbp:employer
|
gptkb:Stanford_University
|
gptkbp:field
|
gptkb:artificial_intelligence
gptkb:knowledge_representation
logic programming
electronic commerce
|
gptkbp:hasWebsite
|
https://logic.stanford.edu/people/genesereth/
|
https://www.w3.org/2000/01/rdf-schema#label
|
Michael Genesereth
|
gptkbp:memberOf
|
gptkb:ACM
gptkb:IEEE
gptkb:AAAI
|
gptkbp:notableFor
|
founder of the International General Game Playing Competition
co-creator of the Game Description Language (GDL)
work on Knowledge Interchange Format (KIF)
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
gptkbp:publishedIn
|
gptkb:Computational_Logic:_Introduction_to_Logic_Programming_and_Knowledge_Representation
gptkb:Knowledge_Interchange_Format_(KIF)_Specification
gptkb:Logical_Foundations_of_Artificial_Intelligence
Introduction to Logic Programming
|
gptkbp:taughtAt
|
gptkb:Stanford_University
|
gptkbp:bfsParent
|
gptkb:CALO
|
gptkbp:bfsLayer
|
5
|