Michael Genesereth

Michael Genesereth

Michael Genesereth is an associate professor in the Computer Science Department at Stanford University and director of that department's Logic Group, located in the William Gates Computer Science Building.He is research director of [http://codex.stanford.edu/ CodeX] , the Stanford Center for Computers and Law with in the Stanford Law School. He is perhaps best known for his work on computational logic and applications of that work in enterprise management and electronic commerce.

Education

Genesereth received his Sc.B. in Physics from Massachusetts Institute of Technology and his Ph.D. in applied mathematics from Harvard University.

Academic career

Genesereth is the director of the Stanford branch of the Digital Enterprise Research Institute. He is an expert in General Game Playing. He is the creator of Game description language and Knowledge Interchange Format. He is one of the founders of [http://www.teknowledge.com/ Teknowledge] , an AI-commercialization company. He is a co-founder of [http://www.commerce.net/ CommerceNet] , the premier organization for electronic commerce on the Internet. He is a founder of Mergent Systems, an early vendor of technology for integrated catalogs on the web, later acquired by [http://www.perfect.com/ Perfect Commerce] . [ [http://logic.stanford.edu/people/genesereth/ Faculty webpage] ]

ee also

*Stanford Center for Internet and Society

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Game Description Language — Game Description Language, or GDL, is a language designed by Michael Genesereth as part of the General Game Playing Project at Stanford University, California. GDL describes the state of a game as a series of facts, and the game mechanics as… …   Wikipedia

  • General Game Playing — refers to the design of Artificial Intelligence programs to be able to play more than one game successfully. [ [http://games.stanford.edu/competition/misc/aaai.pdf General Game Playing: Overview of the AAAI Competition] by Michael Genesereth and… …   Wikipedia

  • Универсальная игровая программа — разновидность программ, реализующих технологии искусственного интеллекта, умеющих играть в целый ряд игр, таких как шахматы, шашки и т. д.[1] Чтобы подобная программа смогла играть в ту или иную игру, её правила должны быть описаны на специальном …   Википедия

  • Macsyma — is a computer algebra system that was originally developed from 1968 to 1982 at MIT as part of Project MAC and later marketed commercially. It was the first comprehensive symbolic mathematics system and one of the earliest knowledge based… …   Wikipedia

  • Richard Fikes — Richard Earl Fikes (of San Antontio, TX, and born 4 October 1942), is a prominent computer scientist, and is currently Professor (Research) Emeritus in the Computer Science department of Stanford University. He led Stanford s Knowledge Systems… …   Wikipedia

  • Knowledge Interchange Format — KIF is also the IATA code for Kingfisher Lake Airport. Knowledge Interchange Format (KIF) is a computer oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e. the meaning of… …   Wikipedia

  • Macsyma — Эта статья содержит незавершённый перевод с английского языка. Вы можете помочь проекту, переведя её до конца. Macsyma система компьютерной алгебры, первая версия ко …   Википедия

  • Nils Nilsson (researcher) — Nils John Nilsson Residence United States …   Wikipedia

  • Agent (Informatique) — En informatique, un agent est l équivalent d un robot logiciel. C est un programme qui accomplit des tâches à la manière d un automate et en fonction de ce que lui a demandé son auteur. Dans le contexte d Internet, les agents intelligents sont… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”