Michael Genesereth




Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Electronic Commerce, and Computational Law. He is one of the founders of Teknowledge, CommerceNet, and Mergent Systems. Genesereth is the current director of the Logic Group at Stanford and research director of CodeX (the Stanford Center for Computers and Law).

More info: http://logic.stanford.edu/people/genesereth/genesereth.html

Customize your search:

E.g., 2017-04-08
E.g., 2017-04-08
E.g., 2017-04-08
Apr 3rd 2017

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Average: 8 (1 vote)
Mar 28th 2016

Learn about General Game Playing (GGP) and develop GGP programs capable of competing against humans and other programs in GGP competitions.

Average: 10 (1 vote)