Difference between revisions of "Michael Genesereth"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Michael Genesereth''' FILE:MichaelGenesereth.jpg|border|right|thumb|link=http://logic.stanford.edu/people/genesereth/genesereth.html| M...") |
GerdIsenberg (talk | contribs) |
||
Line 7: | Line 7: | ||
He is known for his work on [https://en.wikipedia.org/wiki/Computational_logic computational logic] and applications of that work in [https://en.wikipedia.org/wiki/Management enterprise management], [https://en.wikipedia.org/wiki/Computational_law computational law], and [[General Game Playing]]. | He is known for his work on [https://en.wikipedia.org/wiki/Computational_logic computational logic] and applications of that work in [https://en.wikipedia.org/wiki/Management enterprise management], [https://en.wikipedia.org/wiki/Computational_law computational law], and [[General Game Playing]]. | ||
Along with [[Richard Fikes]] et al., he created the [https://en.wikipedia.org/wiki/Knowledge_Interchange_Format Knowledge Interchange Format], | Along with [[Richard Fikes]] et al., he created the [https://en.wikipedia.org/wiki/Knowledge_Interchange_Format Knowledge Interchange Format], | ||
− | + | with [[Nathaniel Love]] et al., he designed the [[General Game Playing#GDL|Game Description Language]] (GDL). | |
=Selected Publications= | =Selected Publications= |
Latest revision as of 21:31, 4 October 2019
Home * People * Michael Genesereth
Michael Robert Genesereth,
an American computer scientist and professor in the Computer Science Department at Stanford University. He received his Ph.D. in applied mathematics from Harvard University in 1979 under Joel Moses.
He is known for his work on computational logic and applications of that work in enterprise management, computational law, and General Game Playing.
Along with Richard Fikes et al., he created the Knowledge Interchange Format,
with Nathaniel Love et al., he designed the Game Description Language (GDL).
Contents
Selected Publications
1980 ...
- Michael Genesereth (1980). Metaphors and Models. AAAI 80
- Michael Genesereth (1982). Diagnosis Using Hierarchical Design Models. AAAI 82
- Michael Genesereth, Matthew L. Ginsberg (1985). Logic Programming. Communications of the ACM, Vol. 28, No. 9
- Michael Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein (1986). Cooperation without Communication. AAAI 86, pdf
- Devika Subramanian, Michael Genesereth (1987). The Relevance of Irrelevance. IJCAI 1987
- Michael Genesereth, Nils J. Nilsson (1987). Logical Foundations of Artificial Intelligence. Morgan Kaufmann
1990 ...
- Michael Genesereth, Richard Fikes, et al. (1992). Knowledge Interchange Format Version 3.0 Reference Manual. pdf
- Michael Genesereth, Illah Nourbakhsh (1993). Time-Saving Tips for Problem Solving with Incomplete Information. AAAI 1993
- Illah Nourbakhsh, Michael Genesereth (1996). Assumptive planning and execution: A simple, working robot architecture. Autonomous Robots, Vol. 3, No. 1
- Michael Genesereth (1996). McCarthy's Idea. JELIA 1996
2000 ...
- Nathaniel Love, Michael Genesereth (2005). Computational Law. ICAIL 2005, pdf
- Michael Genesereth, Nathaniel Love, et al. (2005). General Game Playing: Game Description Language Specification. Technical report, Stanford University
- Michael Genesereth, Nathaniel Love, Barney Pell (2005). General Game Playing: Overview of the AAAI Competition. AI Magazine, Vol. 26, No. 2, pdf
2010 ...
- Michael Genesereth (2010). Data Integration: The Relational Logic Approach. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2010
- Michael Genesereth, Yngvi Björnsson (2013). The International General Game Playing Competition. AI Magazine, Vol. 34, No. 2
- Michael Genesereth, Michael Thielscher (2014). General Game Playing. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2014
- Michael Genesereth, Eric J. Kao (2016). Introduction to Logic, Third Edition. Synthesis Lectures on Computer Science
- Michael Genesereth (2018). AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election. AI Matters, Vol. 4, No. 1, pdf
External Links
- Michael Genesereth
- Michael Genesereth - Professor - Stanford University | LinkedIn
- Michael Genesereth - The Mathematics Genealogy Project