Difference between revisions of "Matthew L. Ginsberg"
GerdIsenberg (talk | contribs) |
GerdIsenberg (talk | contribs) |
||
(3 intermediate revisions by the same user not shown) | |||
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>. | ||
− | His research interests include the fields of [[Artificial Intelligence|artificial intelligence]] and [https://en.wikipedia.org/wiki/Mathematical_optimization mathematical optimization] with focus on [https://en.wikipedia.org/wiki/Constraint_satisfaction constraint satisfaction] and [[Search|search]]. | + | His research interests include the fields of [[Artificial Intelligence|artificial intelligence]] and [https://en.wikipedia.org/wiki/Mathematical_optimization mathematical optimization] with focus on [https://en.wikipedia.org/wiki/Constraint_satisfaction constraint satisfaction] and [[Search|search]]. Matthew L. Ginsberg is a [[:Category:Stockfish Contributor|Stockfish Contributor]] <ref>[https://github.com/official-stockfish/Stockfish/commits?author=mattginsberg Commits · official-stockfish/Stockfish · GitHub] Commits by Matt Ginsberg</ref> <ref>[https://www.chess.com/news/view/chessbase-fat-fritz-2-stockfish-leela-chess-zero Open Source Community Critical Of Chessbase, Fat Fritz 2] by [[Peter Doggers]], [[Chess.com]], February 24, 2021 » [[Fat Fritz#Fat Fritz 2|Fat Fritz 2]]</ref>. |
=Essentials of AI= | =Essentials of AI= | ||
Line 67: | Line 67: | ||
[[Category:Programmer|Ginsberg]] | [[Category:Programmer|Ginsberg]] | ||
[[Category:Bridge Programmer|Ginsberg]] | [[Category:Bridge Programmer|Ginsberg]] | ||
+ | [[Category:Chess Programmer|Ginsberg]] | ||
[[Category:Researcher|Ginsberg]] | [[Category:Researcher|Ginsberg]] | ||
+ | [[Category:Stockfish Contributor|Ginsberg]] |
Latest revision as of 12:08, 26 February 2021
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. Matthew L. Ginsberg is a Stockfish Contributor [5] [6].
Contents
Essentials of AI
While affiliated with Stanford University in the early 90s, Matthew Ginsberg authored Essentials of Artificial Intelligence [7] 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 [8].
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 [10]
- 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 [11] » 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.
- ↑ Commits · official-stockfish/Stockfish · GitHub Commits by Matt Ginsberg
- ↑ Open Source Community Critical Of Chessbase, Fat Fritz 2 by Peter Doggers, Chess.com, February 24, 2021 » Fat Fritz 2
- ↑ 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