25,161
edits
Changes
Created page with "'''Home * People * Matthew L. Ginsberg''' FILE:Matthew_Ginsberg.jpg|border|right|thumb|link=https://www.lybrary.com/matthew-ginsberg-m-243.html| Matthew..."
'''[[Main Page|Home]] * [[People]] * Matthew L. Ginsberg'''
[[FILE:Matthew_Ginsberg.jpg|border|right|thumb|link=https://www.lybrary.com/matthew-ginsberg-m-243.html| Matthew L. Ginsberg <ref>[https://www.lybrary.com/matthew-ginsberg-m-243.html Matthew L. Ginsberg] at [http://www.lybrary.com/ lybrary.com]</ref> ]]
'''Matthew L. Ginsberg''',<br/>
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 at the age of 24 <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].
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>.
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]].
=Essentials of AI=
While affiliated with Stanford University in the early 90s, Matthew Ginsberg authored ''Essentials of Artificial Intelligence'' <ref>[[Matthew L. Ginsberg]] ('''1993'''). ''[http://searchworks.stanford.edu/view/2746445 Essentials of artificial intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann Publishers], ISBN13: 9781558602212</ref> offering introductory [[Artificial Intelligence|AI]] courses at the [https://en.wikipedia.org/wiki/Graduate graduate] and [https://en.wikipedia.org/wiki/Undergraduate_education undergraduate] levels.
=Games=
==GIB==
Ginsberg's Intelligent Bridgeplayer '''GIB''' was the world's first expert-level [https://en.wikipedia.org/wiki/Computer_bridge bridge-playing program], performing a [https://en.wikipedia.org/wiki/Computer_bridge#Properties_of_double-dummy_bridge_compared_to_other_strategy_games double-dummy partition search].
GIB was [https://en.wikipedia.org/wiki/Computer_bridge#World_Computer-Bridge_Championship World Computer-Bridge Champion] in 1998 and 1999.
<span id="DRFill"></span>
==Dr.Fill==
Matthew Ginsberg is further author of the American-style [https://en.wikipedia.org/wiki/Crossword crossword puzzle] solver [https://en.wikipedia.org/wiki/Dr.Fill Dr.Fill],
which works by converting a crossword to a weighted [https://en.wikipedia.org/wiki/Constraint_satisfaction_problem constraint satisfaction problem] and then attempting to maximize the probability that the fill is correct <ref>[[Matthew L. Ginsberg]] ('''2012'''). ''The Crossword Solver DR.FILL''. [[ICGA Journal#35_2|ICGA Journal, Vol. 35, No. 2]]</ref>.
=See also=
* [[Michael L. Littman#Proverb|Proverb]] by [[Michael L. Littman]] et al.
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/g/Ginsberg:Matthew_L= dblp: Matthew L. Ginsberg]</ref>
==1985 ...==
* [[Matthew L. Ginsberg]] ('''1985, 2013'''). ''Implementing Probabilistic Reasoning''. [https://dblp.uni-trier.de/db/conf/uai/uai1985.html UAI 1985], [https://arxiv.org/abs/1304.3428 arXiv:1304.3428]
* [[Matthew L. Ginsberg]] ('''1986'''). ''Multi-Valued Logics''. [[Conferences#AAAI-86|AAAI 86]], [https://www.aaai.org/Papers/AAAI/1986/AAAI86-040.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1988'''). ''[https://www.aaai.org/Library/AAAI/1988/aaai88-083.php A Circumscriptive Theorem Prover]''. [[Conferences#AAAI-88|AAAI 88]]
==1990 ...==
* [[Matthew L. Ginsberg]], [[Mathematician#WDHarvey|William D. Harvey]] ('''1990'''). ''Iterative Broadening''. [[Conferences#AAAI-90|AAAI 90]], [https://www.aaai.org/Papers/AAAI/1990/AAAI90-033.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1991'''). ''Marvin Minsky, The Society of Mind''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 48 » [[Marvin Minsky]] <ref>[https://en.wikipedia.org/wiki/Society_of_Mind Society of Mind from Wikipedia]</ref>
* [[Matthew L. Ginsberg]] ('''1993'''). ''[https://www.jair.org/index.php/jair/article/view/10107 Dynamic Backtracking]''. [https://www.jair.org/index.php/jair/issue/view/1085 JAIR Vol. 1], [https://arxiv.org/abs/cs/9308101 arXiv:cs/9308101] » [[Backtracking]]
* [[Matthew L. Ginsberg]] ('''1993'''). ''[https://searchworks.stanford.edu/view/2746445 Essentials of artificial intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann Publishers]
* [[Matthew L. Ginsberg]], [[David McAllester]] ('''1994'''). ''[https://link.springer.com/chapter/10.1007/3-540-58601-6_105 GSAT and Dynamic Backtracking]''. [https://dblp.uni-trier.de/db/conf/kr/kr94.html KR 1994] <ref>[https://en.wikipedia.org/wiki/WalkSAT WalkSAT from Wikipedia]</ref> » [[Backtracking]]
* [[Mathematician#WDHarvey|William D. Harvey]], [[Matthew L. Ginsberg]] ('''1995'''). ''Limited Discrepancy Search''. [[Conferences#IJCAI1995|IJCAI 1995], [https://ai.dmi.unibas.ch/research/reading_group/harvey-ginsberg-ijcai1995.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1996'''). ''Partition Search''. [[Conferences#AAAI-96|AAAI 96]], [https://www.aaai.org/Papers/AAAI/1996/AAAI96-034.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1999'''). ''GIB: Steps Toward an Expert-Level Bridge-Playing Program''. [[Conferences#IJCAI1999|IJCAI 1999]], [https://www.ijcai.org/Proceedings/99-1/Papers/084.pdf pdf]
==2000 ...==
* [[Matthew L. Ginsberg]] ('''2001, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10279 GIB: Imperfect Information in a Computationally Challenging Game]''. https://www.jair.org/index.php/jair/issue/view/1098 JAIR Vol. 14] [https://arxiv.org/abs/1106.0669 arXiv:1106.0669]
* [[Matthew L. Ginsberg]], [[Alan Jaffray]] ('''2002'''). ''Alpha-Beta Pruning Under Partial Orders''. in [[Richard J. Nowakowski]] (ed.) ''[http://library.msri.org/books/Book42/ More Games of No Chance]''. [https://en.wikipedia.org/wiki/Cambridge_University_Press Cambridge University Press], [http://library.msri.org/books/Book42/files/ginsberg.pdf pdf]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2004, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10369 Generalizing Boolean Satisfiability I: Background and Survey of Existing Work]''. [https://www.jair.org/index.php/jair/issue/view/1105 JAIR Vol. 21], [https://arxiv.org/abs/1107.0040 arXiv:1107.0040]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [[Mathematician#EMLuks|Eugene M. Luks]] , [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2004, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10397 Generalizing Boolean Satisfiability II: Theory]''. [https://www.jair.org/index.php/jair/issue/view/1106 JAIR Vol. 22], [https://arxiv.org/abs/1109.2134 arXiv:1109.2134]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [https://dblp.uni-trier.de/pers/hd/h/Hofer:David_K= David K. Hofer], [[Mathematician#EMLuks|Eugene M. Luks]] , [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2005, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10407 Generalizing Boolean Satisfiability III: Implementation]''. [https://www.jair.org/index.php/jair/issue/view/1107 JAIR Vol. 23], [https://arxiv.org/abs/1109.2142 arXiv:1109.2142]
* [[Matthew L. Ginsberg]] ('''2007'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-74970-7_2 Of Mousetraps and Men: A Cautionary Tale]''. [https://dblp.uni-trier.de/db/conf/cp/cp2007.html CP 2007], Vol. 2
==2010 ...==
* [[Matthew L. Ginsberg]] ('''2011'''). ''GIB: Imperfect Information in a Computationally Challenging Game''. [https://arxiv.org/abs/1106.0669 arXiv:1106.0669]
* [[Matthew L. Ginsberg]] ('''2011, 2014'''). ''[https://www.jair.org/index.php/jair/article/view/10741 Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs]''. [https://www.jair.org/index.php/jair/issue/view/1126 JAIR Vol. 42], [https://arxiv.org/abs/1401.4597 arXiv:1401.4597]
* [[Matthew L. Ginsberg]] ('''2012'''). ''The Crossword Solver DR.FILL''. [[ICGA Journal#35_2|ICGA Journal, Vol. 35, No. 2]]
* [[Matthew L. Ginsberg]] ('''2015'''). ''[https://www.jair.org/index.php/jair/article/view/10949 Satsisfiability and Systematicity]''. [https://www.jair.org/index.php/jair/issue/view/1137 JAIR Vol. 53]
=External Links=
* [http://www.cirl.uoregon.edu/~ginsberg/ Matthew L. Ginsberg]
* [http://www.genealogy.math.ndsu.nodak.edu/id.php?id=71300 The Mathematics Genealogy Project - Matthew Ginsberg]
* [https://www.lybrary.com/matthew-ginsberg-m-243.html Matthew L. Ginsberg] at [http://www.lybrary.com/ lybrary.com]
* [http://www.ny-bridge.com/allevy/computerbridge/ ACBL/WBF World Computer-Bridge Championship]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Ginsberg]]
[[Category:Programmer|Ginsberg]]
[[Category:Bridge Programmer|Ginsberg]]
[[Category:Researcher|Ginsberg]]
[[FILE:Matthew_Ginsberg.jpg|border|right|thumb|link=https://www.lybrary.com/matthew-ginsberg-m-243.html| Matthew L. Ginsberg <ref>[https://www.lybrary.com/matthew-ginsberg-m-243.html Matthew L. Ginsberg] at [http://www.lybrary.com/ lybrary.com]</ref> ]]
'''Matthew L. Ginsberg''',<br/>
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 at the age of 24 <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].
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>.
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]].
=Essentials of AI=
While affiliated with Stanford University in the early 90s, Matthew Ginsberg authored ''Essentials of Artificial Intelligence'' <ref>[[Matthew L. Ginsberg]] ('''1993'''). ''[http://searchworks.stanford.edu/view/2746445 Essentials of artificial intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann Publishers], ISBN13: 9781558602212</ref> offering introductory [[Artificial Intelligence|AI]] courses at the [https://en.wikipedia.org/wiki/Graduate graduate] and [https://en.wikipedia.org/wiki/Undergraduate_education undergraduate] levels.
=Games=
==GIB==
Ginsberg's Intelligent Bridgeplayer '''GIB''' was the world's first expert-level [https://en.wikipedia.org/wiki/Computer_bridge bridge-playing program], performing a [https://en.wikipedia.org/wiki/Computer_bridge#Properties_of_double-dummy_bridge_compared_to_other_strategy_games double-dummy partition search].
GIB was [https://en.wikipedia.org/wiki/Computer_bridge#World_Computer-Bridge_Championship World Computer-Bridge Champion] in 1998 and 1999.
<span id="DRFill"></span>
==Dr.Fill==
Matthew Ginsberg is further author of the American-style [https://en.wikipedia.org/wiki/Crossword crossword puzzle] solver [https://en.wikipedia.org/wiki/Dr.Fill Dr.Fill],
which works by converting a crossword to a weighted [https://en.wikipedia.org/wiki/Constraint_satisfaction_problem constraint satisfaction problem] and then attempting to maximize the probability that the fill is correct <ref>[[Matthew L. Ginsberg]] ('''2012'''). ''The Crossword Solver DR.FILL''. [[ICGA Journal#35_2|ICGA Journal, Vol. 35, No. 2]]</ref>.
=See also=
* [[Michael L. Littman#Proverb|Proverb]] by [[Michael L. Littman]] et al.
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/g/Ginsberg:Matthew_L= dblp: Matthew L. Ginsberg]</ref>
==1985 ...==
* [[Matthew L. Ginsberg]] ('''1985, 2013'''). ''Implementing Probabilistic Reasoning''. [https://dblp.uni-trier.de/db/conf/uai/uai1985.html UAI 1985], [https://arxiv.org/abs/1304.3428 arXiv:1304.3428]
* [[Matthew L. Ginsberg]] ('''1986'''). ''Multi-Valued Logics''. [[Conferences#AAAI-86|AAAI 86]], [https://www.aaai.org/Papers/AAAI/1986/AAAI86-040.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1988'''). ''[https://www.aaai.org/Library/AAAI/1988/aaai88-083.php A Circumscriptive Theorem Prover]''. [[Conferences#AAAI-88|AAAI 88]]
==1990 ...==
* [[Matthew L. Ginsberg]], [[Mathematician#WDHarvey|William D. Harvey]] ('''1990'''). ''Iterative Broadening''. [[Conferences#AAAI-90|AAAI 90]], [https://www.aaai.org/Papers/AAAI/1990/AAAI90-033.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1991'''). ''Marvin Minsky, The Society of Mind''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 48 » [[Marvin Minsky]] <ref>[https://en.wikipedia.org/wiki/Society_of_Mind Society of Mind from Wikipedia]</ref>
* [[Matthew L. Ginsberg]] ('''1993'''). ''[https://www.jair.org/index.php/jair/article/view/10107 Dynamic Backtracking]''. [https://www.jair.org/index.php/jair/issue/view/1085 JAIR Vol. 1], [https://arxiv.org/abs/cs/9308101 arXiv:cs/9308101] » [[Backtracking]]
* [[Matthew L. Ginsberg]] ('''1993'''). ''[https://searchworks.stanford.edu/view/2746445 Essentials of artificial intelligence]''. [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann Publishers]
* [[Matthew L. Ginsberg]], [[David McAllester]] ('''1994'''). ''[https://link.springer.com/chapter/10.1007/3-540-58601-6_105 GSAT and Dynamic Backtracking]''. [https://dblp.uni-trier.de/db/conf/kr/kr94.html KR 1994] <ref>[https://en.wikipedia.org/wiki/WalkSAT WalkSAT from Wikipedia]</ref> » [[Backtracking]]
* [[Mathematician#WDHarvey|William D. Harvey]], [[Matthew L. Ginsberg]] ('''1995'''). ''Limited Discrepancy Search''. [[Conferences#IJCAI1995|IJCAI 1995], [https://ai.dmi.unibas.ch/research/reading_group/harvey-ginsberg-ijcai1995.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1996'''). ''Partition Search''. [[Conferences#AAAI-96|AAAI 96]], [https://www.aaai.org/Papers/AAAI/1996/AAAI96-034.pdf pdf]
* [[Matthew L. Ginsberg]] ('''1999'''). ''GIB: Steps Toward an Expert-Level Bridge-Playing Program''. [[Conferences#IJCAI1999|IJCAI 1999]], [https://www.ijcai.org/Proceedings/99-1/Papers/084.pdf pdf]
==2000 ...==
* [[Matthew L. Ginsberg]] ('''2001, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10279 GIB: Imperfect Information in a Computationally Challenging Game]''. https://www.jair.org/index.php/jair/issue/view/1098 JAIR Vol. 14] [https://arxiv.org/abs/1106.0669 arXiv:1106.0669]
* [[Matthew L. Ginsberg]], [[Alan Jaffray]] ('''2002'''). ''Alpha-Beta Pruning Under Partial Orders''. in [[Richard J. Nowakowski]] (ed.) ''[http://library.msri.org/books/Book42/ More Games of No Chance]''. [https://en.wikipedia.org/wiki/Cambridge_University_Press Cambridge University Press], [http://library.msri.org/books/Book42/files/ginsberg.pdf pdf]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2004, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10369 Generalizing Boolean Satisfiability I: Background and Survey of Existing Work]''. [https://www.jair.org/index.php/jair/issue/view/1105 JAIR Vol. 21], [https://arxiv.org/abs/1107.0040 arXiv:1107.0040]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [[Mathematician#EMLuks|Eugene M. Luks]] , [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2004, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10397 Generalizing Boolean Satisfiability II: Theory]''. [https://www.jair.org/index.php/jair/issue/view/1106 JAIR Vol. 22], [https://arxiv.org/abs/1109.2134 arXiv:1109.2134]
* [[Mathematician#HEDixon|Heidi E. Dixon]], [[Matthew L. Ginsberg]], [https://dblp.uni-trier.de/pers/hd/h/Hofer:David_K= David K. Hofer], [[Mathematician#EMLuks|Eugene M. Luks]] , [[Mathematician#AJParkes|Andrew J. Parkes]] ('''2005, 2011'''). ''[https://www.jair.org/index.php/jair/article/view/10407 Generalizing Boolean Satisfiability III: Implementation]''. [https://www.jair.org/index.php/jair/issue/view/1107 JAIR Vol. 23], [https://arxiv.org/abs/1109.2142 arXiv:1109.2142]
* [[Matthew L. Ginsberg]] ('''2007'''). ''[https://link.springer.com/chapter/10.1007/978-3-540-74970-7_2 Of Mousetraps and Men: A Cautionary Tale]''. [https://dblp.uni-trier.de/db/conf/cp/cp2007.html CP 2007], Vol. 2
==2010 ...==
* [[Matthew L. Ginsberg]] ('''2011'''). ''GIB: Imperfect Information in a Computationally Challenging Game''. [https://arxiv.org/abs/1106.0669 arXiv:1106.0669]
* [[Matthew L. Ginsberg]] ('''2011, 2014'''). ''[https://www.jair.org/index.php/jair/article/view/10741 Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs]''. [https://www.jair.org/index.php/jair/issue/view/1126 JAIR Vol. 42], [https://arxiv.org/abs/1401.4597 arXiv:1401.4597]
* [[Matthew L. Ginsberg]] ('''2012'''). ''The Crossword Solver DR.FILL''. [[ICGA Journal#35_2|ICGA Journal, Vol. 35, No. 2]]
* [[Matthew L. Ginsberg]] ('''2015'''). ''[https://www.jair.org/index.php/jair/article/view/10949 Satsisfiability and Systematicity]''. [https://www.jair.org/index.php/jair/issue/view/1137 JAIR Vol. 53]
=External Links=
* [http://www.cirl.uoregon.edu/~ginsberg/ Matthew L. Ginsberg]
* [http://www.genealogy.math.ndsu.nodak.edu/id.php?id=71300 The Mathematics Genealogy Project - Matthew Ginsberg]
* [https://www.lybrary.com/matthew-ginsberg-m-243.html Matthew L. Ginsberg] at [http://www.lybrary.com/ lybrary.com]
* [http://www.ny-bridge.com/allevy/computerbridge/ ACBL/WBF World Computer-Bridge Championship]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Mathematician|Ginsberg]]
[[Category:Programmer|Ginsberg]]
[[Category:Bridge Programmer|Ginsberg]]
[[Category:Researcher|Ginsberg]]
