Difference between revisions of "Matthew L. Ginsberg"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
| Line 5: | Line 5: | ||
'''Matthew L. Ginsberg''',<br/> | '''Matthew L. Ginsberg''',<br/> | ||
an American computer scientist, mathematician, and computer [[Games|games]] and [[Bridge]] programmer. | an American computer scientist, mathematician, and computer [[Games|games]] and [[Bridge]] programmer. | ||
| − | He holds a Ph.D. in mathematics from [https://en.wikipedia.org/wiki/University_of_Oxford University of Oxford] in 1980 | + | He holds a Ph.D. in mathematics from [https://en.wikipedia.org/wiki/University_of_Oxford University of Oxford] in 1980 <ref>[http://www.cirl.uoregon.edu/~ginsberg/ Matthew L. Ginsberg]</ref>, |
| − | and researcher and professor at [[Stanford University]] and [https://en.wikipedia.org/wiki/University_of_Oregon University of Oregon]. | + | and is researcher and professor at [[Stanford University]] and [https://en.wikipedia.org/wiki/University_of_Oregon University of Oregon]. |
In 1992, at the University of Oregon, Ginsberg founded ''The Computational Intelligence Research Laboratory'' (CIRL) <ref>[http://www.cirl.uoregon.edu/ Computational Intelligence Research Laboratory]</ref>, | In 1992, at the University of Oregon, Ginsberg founded ''The Computational Intelligence Research Laboratory'' (CIRL) <ref>[http://www.cirl.uoregon.edu/ Computational Intelligence Research Laboratory]</ref>, | ||
and since 1998 he is [https://en.wikipedia.org/wiki/Chief_executive_officer CEO] of ''On Time Systems'', an advanced-technology company specializing in software for optimization of complex industrial problems <ref>[https://www.otsys.com/ On Time Systems, Inc.]</ref>. | and since 1998 he is [https://en.wikipedia.org/wiki/Chief_executive_officer CEO] of ''On Time Systems'', an advanced-technology company specializing in software for optimization of complex industrial problems <ref>[https://www.otsys.com/ On Time Systems, Inc.]</ref>. | ||
Revision as of 08:58, 5 October 2019
Home * People * Matthew L. Ginsberg
Matthew L. Ginsberg,
an American computer scientist, mathematician, and computer games and Bridge programmer.
He holds a Ph.D. in mathematics from University of Oxford in 1980 [2],
and is researcher and professor at Stanford University and University of Oregon.
In 1992, at the University of Oregon, Ginsberg founded The Computational Intelligence Research Laboratory (CIRL) [3],
and since 1998 he is CEO of On Time Systems, an advanced-technology company specializing in software for optimization of complex industrial problems [4].
His research interests include the fields of artificial intelligence and mathematical optimization with focus on constraint satisfaction and search.
Contents
Essentials of AI
While affiliated with Stanford University in the early 90s, Matthew Ginsberg authored Essentials of Artificial Intelligence [5] offering introductory AI courses at the graduate and undergraduate levels.
Games
GIB
Ginsberg's Intelligent Bridgeplayer GIB was the world's first expert-level bridge-playing program, performing a double-dummy partition search. GIB was World Computer-Bridge Champion in 1998 and 1999.
Dr.Fill
Matthew Ginsberg is further author of the American-style crossword puzzle solver Dr.Fill, which works by converting a crossword to a weighted constraint satisfaction problem and then attempting to maximize the probability that the fill is correct [6].
See also
- Proverb by Michael L. Littman et al.
Selected Publications
1985 ...
- Matthew L. Ginsberg (1985, 2013). Implementing Probabilistic Reasoning. UAI 1985, arXiv:1304.3428
- 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
- Matthew L. Ginsberg (1986). Multi-Valued Logics. AAAI 86, pdf
- Matthew L. Ginsberg (1988). A Circumscriptive Theorem Prover. AAAI 88
1990 ...
- Matthew L. Ginsberg, William D. Harvey (1990). Iterative Broadening. AAAI 90, pdf
- Matthew L. Ginsberg (1991). Marvin Minsky, The Society of Mind. Artificial Intelligence, Vol. 48 » Marvin Minsky [8]
- Matthew L. Ginsberg (1993). Dynamic Backtracking. JAIR Vol. 1, arXiv:cs/9308101 » Backtracking
- Matthew L. Ginsberg (1993). Essentials of artificial intelligence. Morgan Kaufmann Publishers
- Matthew L. Ginsberg, David McAllester (1994). GSAT and Dynamic Backtracking. KR 1994 [9] » Backtracking
- William D. Harvey, Matthew L. Ginsberg (1995). Limited Discrepancy Search. IJCAI 1995, pdf
- Matthew L. Ginsberg (1996). Partition Search. AAAI 96, pdf
- Matthew L. Ginsberg (1999). GIB: Steps Toward an Expert-Level Bridge-Playing Program. IJCAI 1999, pdf
2000 ...
- Matthew L. Ginsberg (2001, 2011). GIB: Imperfect Information in a Computationally Challenging Game. JAIR Vol. 14 arXiv:1106.0669
- Matthew L. Ginsberg, Alan Jaffray (2002). Alpha-Beta Pruning Under Partial Orders. in Richard J. Nowakowski (ed.) More Games of No Chance. Cambridge University Press, pdf
- Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes (2004, 2011). Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. JAIR Vol. 21, arXiv:1107.0040
- Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks , Andrew J. Parkes (2004, 2011). Generalizing Boolean Satisfiability II: Theory. JAIR Vol. 22, arXiv:1109.2134
- Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks , Andrew J. Parkes (2005, 2011). Generalizing Boolean Satisfiability III: Implementation. JAIR Vol. 23, arXiv:1109.2142
- Matthew L. Ginsberg (2007). Of Mousetraps and Men: A Cautionary Tale. CP 2007, Vol. 2
2010 ...
- Matthew L. Ginsberg (2011). GIB: Imperfect Information in a Computationally Challenging Game. arXiv:1106.0669
- Matthew L. Ginsberg (2011, 2014). Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs. JAIR Vol. 42, arXiv:1401.4597
- Matthew L. Ginsberg (2012). The Crossword Solver DR.FILL. ICGA Journal, Vol. 35, No. 2
- Matthew L. Ginsberg (2015). Satsisfiability and Systematicity. JAIR Vol. 53
External Links
- Matthew L. Ginsberg
- The Mathematics Genealogy Project - Matthew Ginsberg
- Matthew L. Ginsberg at lybrary.com
References
- ↑ Matthew L. Ginsberg at lybrary.com
- ↑ Matthew L. Ginsberg
- ↑ Computational Intelligence Research Laboratory
- ↑ On Time Systems, Inc.
- ↑ Matthew L. Ginsberg (1993). Essentials of artificial intelligence. Morgan Kaufmann Publishers
- ↑ Matthew L. Ginsberg (2012). The Crossword Solver DR.FILL. ICGA Journal, Vol. 35, No. 2
- ↑ dblp: Matthew L. Ginsberg
- ↑ Society of Mind from Wikipedia
- ↑ WalkSAT from Wikipedia
