Michael Genesereth
Michael Genesereth is a 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.
Q8078
logician
Concept
Q82594
computer scientist
Concept
Q5157327
computational logic
Concept
Q2920921
enterprise management
Concept
Q5157326
computational law
UNK
Q4475737
general game playing
Concept
Q5514059
Symbolic artificial intelligence
MEDIA
Q5519842
Game Description Language
UNK
Q354163
Knowledge Interchange Format
MISC
Q5153563
Common Logic
UNK
Q21191195
Michael Genesereth
PER
1987-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1987
DATE
occupation