Matthew L. Ginsberg
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
