http://dbpedia.org/ontology/abstract
|
Michael Genesereth (born 1948) is an Ameri … Michael Genesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on Symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.hich led to the ISO Common Logic standard.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Computer_science +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
|
http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Association_for_the_Advancement_of_Artificial_Intelligence +
|
http://dbpedia.org/ontology/birthDate
|
"1948-10-15"^^xsd:date
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Joel_Moses +
|
http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Stuart_J._Russell +
, http://dbpedia.org/resource/Jock_D._Mackinlay +
, http://dbpedia.org/resource/Vishal_Sikka +
, http://dbpedia.org/resource/Russell_Greiner +
|
http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/General_game_playing +
, http://dbpedia.org/resource/Computational_law +
, http://dbpedia.org/resource/Artificial_Intelligence +
|
http://dbpedia.org/ontology/wikiPageID
|
62607321
|
http://dbpedia.org/ontology/wikiPageLength
|
18653
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1104662865
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Russell_Greiner +
, http://dbpedia.org/resource/Common_Logic +
, http://dbpedia.org/resource/Mycin +
, http://dbpedia.org/resource/Category:Logic_programming_researchers +
, http://dbpedia.org/resource/Vaumpus_world +
, http://dbpedia.org/resource/Enterprise_management +
, http://dbpedia.org/resource/Jacques_Herbrand +
, http://dbpedia.org/resource/Rational_agent +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Macsyma +
, http://dbpedia.org/resource/Morgan_Kaufmann_Publishers +
, http://dbpedia.org/resource/Knowledge-based_systems +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Joel_Moses +
, http://dbpedia.org/resource/Symposium_on_Principles_of_Database_Systems +
, http://dbpedia.org/resource/Artificial_Intelligence +
, http://dbpedia.org/resource/Category:MIT_Department_of_Physics_alumni +
, http://dbpedia.org/resource/The_Web_Conference +
, http://dbpedia.org/resource/Category:American_people_of_Welsh_descent +
, http://dbpedia.org/resource/CodeX +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Knowledge_Interchange_Format +
, http://dbpedia.org/resource/Diagnosis_%28artificial_intelligence%29 +
, http://dbpedia.org/resource/MOOC +
, http://dbpedia.org/resource/Jock_D._Mackinlay +
, http://dbpedia.org/resource/Computational_logic +
, http://dbpedia.org/resource/Artificial_Intelligence_%28journal%29 +
, http://dbpedia.org/resource/Deductive_database +
, http://dbpedia.org/resource/Logical_spreadsheet +
, http://dbpedia.org/resource/Computational_law +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/American_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/CommerceNet +
, http://dbpedia.org/resource/General_game_playing +
, http://dbpedia.org/resource/Stuart_J._Russell +
, http://dbpedia.org/resource/Symbolic_artificial_intelligence +
, http://dbpedia.org/resource/Game_Description_Language +
, http://dbpedia.org/resource/Category:1948_births +
, http://dbpedia.org/resource/Category:American_people_of_Polish_descent +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Vishal_Sikka +
, http://dbpedia.org/resource/International_Conference_on_Autonomous_Agents_and_Multiagent_Systems +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/Harvard_University +
|
http://dbpedia.org/property/awards
|
AAAI Fellow .
|
http://dbpedia.org/property/birthDate
|
"1948-10-15"^^xsd:date
|
http://dbpedia.org/property/doctoralAdvisor
|
Thomas Cheatham
, Joel Moses
|
http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Russell_Greiner +
, http://dbpedia.org/resource/Vishal_Sikka +
, http://dbpedia.org/resource/Stuart_J._Russell +
, http://dbpedia.org/resource/Jock_D._Mackinlay +
|
http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Logic +
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/General_game_playing +
, http://dbpedia.org/resource/Computational_law +
, http://dbpedia.org/resource/Artificial_Intelligence +
|
http://dbpedia.org/property/name
|
Michael Genesereth
|
http://dbpedia.org/property/thesisTitle
|
Automated Consultation for Complex Computer Systems
|
http://dbpedia.org/property/thesisYear
|
1978
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Authority_control +
|
http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Stanford_University +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Category:American_people_of_Polish_descent +
, http://dbpedia.org/resource/Category:1948_births +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Logic_programming_researchers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:American_people_of_Welsh_descent +
, http://dbpedia.org/resource/Category:MIT_Department_of_Physics_alumni +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Michael_Genesereth?oldid=1104662865&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Michael_Genesereth +
|
http://xmlns.com/foaf/0.1/name
|
Michael Genesereth
|
owl:sameAs |
https://dblp.org/pid/g/MRGenesereth +
, http://data.bibliotheken.nl/id/thes/p073177261 +
, http://dbpedia.org/resource/Michael_Genesereth +
, https://global.dbpedia.org/id/221cM +
, http://www.wikidata.org/entity/Q21191195 +
, http://d-nb.info/gnd/172094615 +
, http://viaf.org/viaf/91769380 +
|
rdf:type |
http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q5 +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Species +
|
rdfs:comment |
Michael Genesereth (born 1948) is an Ameri … Michael Genesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on Symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.hich led to the ISO Common Logic standard.
|
rdfs:label |
Michael Genesereth
|