Matthew L. Ginsberg

Home * People * Matthew L. Ginsberg

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

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#

[9]

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#

1. ↑ Matthew L. Ginsberg at lybrary.com
2. ↑ Matthew L. Ginsberg
3. ↑ Computational Intelligence Research Laboratory
4. ↑ On Time Systems, Inc.
5. ↑ Commits · official-stockfish/Stockfish · GitHub Commits by Matt Ginsberg
6. ↑ Open Source Community Critical Of Chessbase, Fat Fritz 2 by Peter Doggers, Chess.com, February 24, 2021 » Fat Fritz 2
7. ↑ Matthew L. Ginsberg (1993). Essentials of artificial intelligence. Morgan Kaufmann Publishers
8. ↑ Matthew L. Ginsberg (2012). The Crossword Solver DR.FILL. ICGA Journal, Vol. 35, No. 2
9. ↑ dblp: Matthew L. Ginsberg
10. ↑ Society of Mind from Wikipedia
11. ↑ WalkSAT from Wikipedia

Up one level