(1948-10-15) 15 October 1948 (age 75)[citation needed]
Alma mater
Massachusetts Institute of Technology
Harvard University
Known for
Artificial Intelligence Computational law General game playing
Awards
AAAI Fellow (1990, Founding).[1]
Scientific career
Fields
Computer science Logic
Institutions
Stanford University
Thesis
Automated Consultation for Complex Computer Systems [2](1978)
Doctoral advisor
Thomas Cheatham (Harvard) Joel Moses (MIT)
Doctoral students
Russell Greiner Jock D. Mackinlay Stuart J. Russell Vishal Sikka
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.[3] Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School.[4] His 1987 textbook on Logical Foundations of Artificial Intelligence[5] remains one of the key references on symbolic artificial intelligence.[6] 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.[7]
^AAAI Fellows
^Michael, Genesereth. "Automatic Consultation for Complex Computer Systems". Hollis Library Catalog, Harvard University. Retrieved 15 July 2020.
^Gaylord, Chris. "Computers Master the Gameboard". Christian Science Monitor. Retrieved 16 July 2020.
^"Michael Genesereth". Stanford University People. Standford University. Retrieved 16 July 2020.
^Genesereth, Michael; Nilsson, Nils (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers. ISBN 978-0-934613-31-6.
^Genesereth, Michael; Nilsson, Nils. "Logical Foundations of Artificial Intelligence". Citations in Google Scholar. Retrieved 15 July 2020.
^ISO/IEC 24707:2018. "Information technology — Common Logic (CL) — A framework for a family of logic-based languages". International Organization for Standardization. Retrieved 15 July 2020.{{cite web}}: CS1 maint: numeric names: authors list (link)
and 15 Related for: Michael Genesereth information
MichaelGenesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of...
Specialized Procedures into Proof Systems and his thesis advisor was MichaelGenesereth. Marvin Minsky, one of the fathers of AI, wrote a recommendation letter...
statements. KIF also supports non-monotonic reasoning. KIF was created by MichaelGenesereth, Richard Fikes and others participating in the DARPA knowledge sharing...
represent knowledge and to reason. Wumpus world was introduced by MichaelGenesereth, and is discussed in the Russell-Norvig Artificial Intelligence book...
Language (GDL) is a specialized logic programming language designed by MichaelGenesereth. The goal of GDL is to allow the development of AI agents capable...
credited with the first formulation of the concept of vitamins in 1912 MichaelGenesereth (born 1948), logician and computer scientist Walter Golaski (1913–1996)...
Dagstuhl-Leibniz-Zentrum für Informatik. Retrieved 3 February 2023. Genesereth, Michael; Love, Nathaniel; Pell, Barney (15 June 2005). "General Game Playing:...
Legal informatics Legal expert systems Genesereth, Michael. "What is Computational Law?". Genesereth, Michael. "Computational Law - The Cop in the Backseat"...
New York, NY: Cambridge University Press. ISBN 978-1-107-12032-7. Genesereth, Michael; Kao, Eric J. (2017). Introduction to Logic. Synthesis Lectures on...