25,161
edits
Changes
Created page with "'''Home * People * Michael Genesereth''' FILE:MichaelGenesereth.jpg|border|right|thumb|link=http://logic.stanford.edu/people/genesereth/genesereth.html| M..."
'''[[Main Page|Home]] * [[People]] * Michael Genesereth'''
[[FILE:MichaelGenesereth.jpg|border|right|thumb|link=http://logic.stanford.edu/people/genesereth/genesereth.html| Michael Genesereth <ref>[http://logic.stanford.edu/people/genesereth/genesereth.html Michael Genesereth]</ref> ]]
'''Michael Robert Genesereth''',<br/>
an American computer scientist and professor in the Computer Science Department at [[Stanford University]]. He received his Ph.D. in [https://en.wikipedia.org/wiki/Applied_mathematics applied mathematics] from [[Harvard University]] in 1979 under [[Mathematician#JMoses|Joel Moses]].
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],
[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=
<ref>[https://dblp.uni-trier.de/pers/hd/g/Genesereth:Michael_R= dblp: Michael R. Genesereth]</ref>
==1980 ...==
* [[Michael Genesereth]] ('''1980'''). ''[https://www.aaai.org/Library/AAAI/1980/aaai80-058.php Metaphors and Models]''. [[Conferences#AAAI-80|AAAI 80]]
* [[Michael Genesereth]] ('''1982'''). ''[https://www.aaai.org/Library/AAAI/1982/aaai82-067.php Diagnosis Using Hierarchical Design Models]''. [[Conferences#AAAI-82|AAAI 82]]
* [[Michael Genesereth]], [[Matthew L. Ginsberg]] ('''1985'''). ''[https://dl.acm.org/citation.cfm?id=4287 Logic Programming]''. [[ACM#Communications|Communications of the ACM]], Vol. 28, No. 9
* [[Michael Genesereth]], [[Matthew L. Ginsberg]], [[Mathematician#JSRosenschein|Jeffrey S. Rosenschein]] ('''1986'''). ''Cooperation without Communication''. [[Conferences#AAAI-86|AAAI 86]], [http://logic.stanford.edu/publications/genesereth/cooperation.pdf pdf]
* [[Mathematician#DSubramanian|Devika Subramanian]], [[Michael Genesereth]] ('''1987'''). ''[https://dl.acm.org/citation.cfm?id=1625098 The Relevance of Irrelevance]''. [[Conferences#IJCAI1987|IJCAI 1987]]
* [[Michael Genesereth]], [[Mathematician#NilsNilsson|Nils J. Nilsson]] ('''1987'''). ''[https://www.sciencedirect.com/book/9780934613316/logical-foundations-of-artificial-intelligence Logical Foundations of Artificial Intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann]
==1990 ...==
* [[Michael Genesereth]], [[Richard Fikes]], et al. ('''1992'''). ''Knowledge Interchange Format Version 3.0 Reference Manual''. [http://logic.stanford.edu/publications/genesereth/kif.pdf pdf]
* [[Michael Genesereth]], [[Mathematician#IRNourbakhsh|Illah Nourbakhsh]] ('''1993'''). ''Time-Saving Tips for Problem Solving with Incomplete Information''. [[Conferences#AAAI-93|AAAI 1993]]
* [[Mathematician#IRNourbakhsh|Illah Nourbakhsh]], [[Michael Genesereth]] ('''1996'''). ''[https://www.ri.cmu.edu/publications/assumptive-planning-and-execution-a-simple-working-robot-architecture/ Assumptive planning and execution: A simple, working robot architecture]''. [https://dblp.uni-trier.de/db/journals/arobots/arobots3.html Autonomous Robots], Vol. 3, No. 1
* [[Michael Genesereth]] ('''1996'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-61630-6_9 McCarthy's Idea]''. [https://dblp.uni-trier.de/db/conf/jelia/jelia96.html JELIA 1996]
==2000 ...==
* [[Nathaniel Love]], [[Michael Genesereth]] ('''2005'''). ''[https://dl.acm.org/citation.cfm?id=1165517 Computational Law]''. [https://dblp.uni-trier.de/db/conf/icail/icail2005.html ICAIL 2005], [http://logic.stanford.edu/publications/love/computationallaw.pdf 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''. [[AAAI#AIMAG|AI Magazine]], Vol. 26, No. 2, [http://logic.stanford.edu/classes/cs227/2013/readings/aaai.pdf pdf]
==2010 ...==
* [[Michael Genesereth]] ('''2010'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00226ED1V01Y200911AIM008 Data Integration: The Relational Logic Approach]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], [https://www.morganclaypool.com/ Morgan & Claypool Publishers] 2010
* [[Michael Genesereth]], [[Yngvi Björnsson]] ('''2013'''). ''[https://aaai.org/ojs/index.php/aimagazine/article/view/2475 The International General Game Playing Competition].'' [[AAAI#AIMAG|AI Magazine]], Vol. 34, No. 2
* [[Michael Genesereth]], [[Michael Thielscher]] ('''2014'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00564ED1V01Y201311AIM024 General Game Playing]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], [https://www.morganclaypool.com/ Morgan & Claypool Publishers], 2014
* [[Michael Genesereth]], [https://www.linkedin.com/in/ericjkao Eric J. Kao] ('''2016'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00734ED2V01Y201609CSL008 Introduction to Logic, Third Edition]''. [https://www.morganclaypool.com/toc/csl/1/1 Synthesis Lectures on Computer Science]
* [[Michael Genesereth]] ('''2018'''). ''[https://dl.acm.org/citation.cfm?doid=3203247.3203256 AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election]''. [https://sigai.acm.org/aimatters/blog/ AI Matters], Vol. 4, No. 1, [https://sigai.acm.org/static/aimatters/4-1/AIMatters-4-1-09-Genesereth.pdf pdf]
=External Links=
* [http://logic.stanford.edu/people/genesereth/genesereth.html Michael Genesereth]
* [https://www.linkedin.com/in/michael-genesereth-2a006157 Michael Genesereth - Professor - Stanford University | LinkedIn]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=71203 Michael Genesereth - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Genesereth]]
[[Category:Researcher|Genesereth]]
[[FILE:MichaelGenesereth.jpg|border|right|thumb|link=http://logic.stanford.edu/people/genesereth/genesereth.html| Michael Genesereth <ref>[http://logic.stanford.edu/people/genesereth/genesereth.html Michael Genesereth]</ref> ]]
'''Michael Robert Genesereth''',<br/>
an American computer scientist and professor in the Computer Science Department at [[Stanford University]]. He received his Ph.D. in [https://en.wikipedia.org/wiki/Applied_mathematics applied mathematics] from [[Harvard University]] in 1979 under [[Mathematician#JMoses|Joel Moses]].
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],
[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=
<ref>[https://dblp.uni-trier.de/pers/hd/g/Genesereth:Michael_R= dblp: Michael R. Genesereth]</ref>
==1980 ...==
* [[Michael Genesereth]] ('''1980'''). ''[https://www.aaai.org/Library/AAAI/1980/aaai80-058.php Metaphors and Models]''. [[Conferences#AAAI-80|AAAI 80]]
* [[Michael Genesereth]] ('''1982'''). ''[https://www.aaai.org/Library/AAAI/1982/aaai82-067.php Diagnosis Using Hierarchical Design Models]''. [[Conferences#AAAI-82|AAAI 82]]
* [[Michael Genesereth]], [[Matthew L. Ginsberg]] ('''1985'''). ''[https://dl.acm.org/citation.cfm?id=4287 Logic Programming]''. [[ACM#Communications|Communications of the ACM]], Vol. 28, No. 9
* [[Michael Genesereth]], [[Matthew L. Ginsberg]], [[Mathematician#JSRosenschein|Jeffrey S. Rosenschein]] ('''1986'''). ''Cooperation without Communication''. [[Conferences#AAAI-86|AAAI 86]], [http://logic.stanford.edu/publications/genesereth/cooperation.pdf pdf]
* [[Mathematician#DSubramanian|Devika Subramanian]], [[Michael Genesereth]] ('''1987'''). ''[https://dl.acm.org/citation.cfm?id=1625098 The Relevance of Irrelevance]''. [[Conferences#IJCAI1987|IJCAI 1987]]
* [[Michael Genesereth]], [[Mathematician#NilsNilsson|Nils J. Nilsson]] ('''1987'''). ''[https://www.sciencedirect.com/book/9780934613316/logical-foundations-of-artificial-intelligence Logical Foundations of Artificial Intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann]
==1990 ...==
* [[Michael Genesereth]], [[Richard Fikes]], et al. ('''1992'''). ''Knowledge Interchange Format Version 3.0 Reference Manual''. [http://logic.stanford.edu/publications/genesereth/kif.pdf pdf]
* [[Michael Genesereth]], [[Mathematician#IRNourbakhsh|Illah Nourbakhsh]] ('''1993'''). ''Time-Saving Tips for Problem Solving with Incomplete Information''. [[Conferences#AAAI-93|AAAI 1993]]
* [[Mathematician#IRNourbakhsh|Illah Nourbakhsh]], [[Michael Genesereth]] ('''1996'''). ''[https://www.ri.cmu.edu/publications/assumptive-planning-and-execution-a-simple-working-robot-architecture/ Assumptive planning and execution: A simple, working robot architecture]''. [https://dblp.uni-trier.de/db/journals/arobots/arobots3.html Autonomous Robots], Vol. 3, No. 1
* [[Michael Genesereth]] ('''1996'''). ''[https://link.springer.com/chapter/10.1007%2F3-540-61630-6_9 McCarthy's Idea]''. [https://dblp.uni-trier.de/db/conf/jelia/jelia96.html JELIA 1996]
==2000 ...==
* [[Nathaniel Love]], [[Michael Genesereth]] ('''2005'''). ''[https://dl.acm.org/citation.cfm?id=1165517 Computational Law]''. [https://dblp.uni-trier.de/db/conf/icail/icail2005.html ICAIL 2005], [http://logic.stanford.edu/publications/love/computationallaw.pdf 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''. [[AAAI#AIMAG|AI Magazine]], Vol. 26, No. 2, [http://logic.stanford.edu/classes/cs227/2013/readings/aaai.pdf pdf]
==2010 ...==
* [[Michael Genesereth]] ('''2010'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00226ED1V01Y200911AIM008 Data Integration: The Relational Logic Approach]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], [https://www.morganclaypool.com/ Morgan & Claypool Publishers] 2010
* [[Michael Genesereth]], [[Yngvi Björnsson]] ('''2013'''). ''[https://aaai.org/ojs/index.php/aimagazine/article/view/2475 The International General Game Playing Competition].'' [[AAAI#AIMAG|AI Magazine]], Vol. 34, No. 2
* [[Michael Genesereth]], [[Michael Thielscher]] ('''2014'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00564ED1V01Y201311AIM024 General Game Playing]''. [https://www.morganclaypool.com/toc/aim/1/1 Synthesis Lectures on Artificial Intelligence and Machine Learning], [https://www.morganclaypool.com/ Morgan & Claypool Publishers], 2014
* [[Michael Genesereth]], [https://www.linkedin.com/in/ericjkao Eric J. Kao] ('''2016'''). ''[https://www.morganclaypool.com/doi/abs/10.2200/S00734ED2V01Y201609CSL008 Introduction to Logic, Third Edition]''. [https://www.morganclaypool.com/toc/csl/1/1 Synthesis Lectures on Computer Science]
* [[Michael Genesereth]] ('''2018'''). ''[https://dl.acm.org/citation.cfm?doid=3203247.3203256 AI amusements: computer elected governor of California Corpus Legis trounces human opponents in state election]''. [https://sigai.acm.org/aimatters/blog/ AI Matters], Vol. 4, No. 1, [https://sigai.acm.org/static/aimatters/4-1/AIMatters-4-1-09-Genesereth.pdf pdf]
=External Links=
* [http://logic.stanford.edu/people/genesereth/genesereth.html Michael Genesereth]
* [https://www.linkedin.com/in/michael-genesereth-2a006157 Michael Genesereth - Professor - Stanford University | LinkedIn]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=71203 Michael Genesereth - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Genesereth]]
[[Category:Researcher|Genesereth]]
