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 , 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) , and since 1998 he is CEO of On Time Systems, an advanced-technology company specializing in software for optimization of complex industrial problems. 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.

=Essentials of AI= While affiliated with Stanford University in the early 90s, Matthew Ginsberg authored Essentials of Artificial Intelligence 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.

=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
 * 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 » 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= Up one level