Difference between revisions of "David McAllester"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * David McAllester''' FILE:mcallester16.jpg|border|right|thumb|link=http://ttic.uchicago.edu/~dmcallester/| David McAllester <ref>[http:/...") |
GerdIsenberg (talk | contribs) |
||
| Line 1: | Line 1: | ||
'''[[Main Page|Home]] * [[People]] * David McAllester''' | '''[[Main Page|Home]] * [[People]] * David McAllester''' | ||
| − | [[FILE:mcallester16.jpg|border|right|thumb|link= | + | [[FILE:mcallester16.jpg|border|right|thumb|link=https://ttic.uchicago.edu/~dmcallester/| David McAllester <ref>[https://ttic.uchicago.edu/~dmcallester/ David McAllester's Personal WWW Page]</ref> ]] |
'''David Allen McAllester''',<br/> | '''David Allen McAllester''',<br/> | ||
| − | an American computer scientist, Professor and Chief Academic Officer at [https://en.wikipedia.org/wiki/Toyota_Technological_Institute_at_Chicago Toyota Technological Institute at Chicago]. He received his B.S., M.S., and Ph.D. degrees from the [[Massachusetts Institute of Technology]] in 1978, 1979, and 1987 respectively. His research interests covers [[Learning|machine learning]] theory, the theory of [[Languages|programming languages]], [https://en.wikipedia.org/wiki/Automated_reasoning automated reasoning], [[Artificial Intelligence|AI]] [[Planning|planning]], [[Games|computer game]] playing, and [https://en.wikipedia.org/wiki/Computational_linguistics computational linguistics]. In 1988, McAllester proposed the [[Best-First|best-first search]] algorithm [[Conspiracy Number Search]] | + | an American computer scientist, Professor and Chief Academic Officer at [https://en.wikipedia.org/wiki/Toyota_Technological_Institute_at_Chicago Toyota Technological Institute at Chicago]. He received his B.S., M.S., and Ph.D. degrees from the [[Massachusetts Institute of Technology]] in 1978, 1979, and 1987 respectively. His research interests covers [[Learning|machine learning]] theory, the theory of [[Languages|programming languages]], [https://en.wikipedia.org/wiki/Automated_reasoning automated reasoning], [[Artificial Intelligence|AI]] [[Planning|planning]], [[Games|computer game]] playing, and [https://en.wikipedia.org/wiki/Computational_linguistics computational linguistics]. In 1988, McAllester proposed the [[Best-First|best-first search]] algorithm [[Conspiracy Number Search]] and in 1993 the [[Depth-First|depth-first]] [[Alpha-Beta Conspiracy Search]], published in 2002 in the [[ICGA Journal#25_1|ICGA Journal]] <ref>[[David McAllester]], [[Deniz Yuret]] ('''2002'''). ''[[Alpha-Beta Conspiracy Search]]''. [[ICGA Journal#25_1|ICGA Journal, Vol. 25, No. 1]]</ref>. |
=Selected Publications= | =Selected Publications= | ||
| Line 13: | Line 13: | ||
* [[Charles Elkan]], [[David McAllester]] ('''1988'''). ''Automated Inductive Reasoning about Logic Programs''. [http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp88.html#ElkanM88 5. ICLP / SLP] | * [[Charles Elkan]], [[David McAllester]] ('''1988'''). ''Automated Inductive Reasoning about Logic Programs''. [http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp88.html#ElkanM88 5. ICLP / SLP] | ||
==1990 ...== | ==1990 ...== | ||
| − | * [[David McAllester]], [[Deniz Yuret]] ('''1993'''). ''Alpha-Beta Conspiracy Search''. [ | + | * [[David McAllester]], [[Deniz Yuret]] ('''1993'''). ''Alpha-Beta Conspiracy Search''. [https://ttic.uchicago.edu/~dmcallester/abc.ps ps (draft)] » [[Alpha-Beta Conspiracy Search]] |
* [[Matthew L. Ginsberg]], [[David McAllester]] ('''1994'''). ''GSAT and Dynamic Backtracking''. [http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr94.html#GinsbergM94 KR 1994] <ref>[https://en.wikipedia.org/wiki/WalkSAT WalkSAT from WIkipedia]</ref> » [[Backtracking]] | * [[Matthew L. Ginsberg]], [[David McAllester]] ('''1994'''). ''GSAT and Dynamic Backtracking''. [http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr94.html#GinsbergM94 KR 1994] <ref>[https://en.wikipedia.org/wiki/WalkSAT WalkSAT from WIkipedia]</ref> » [[Backtracking]] | ||
* [[Bart Selman]], [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[David McAllester]] ('''1997'''). ''Ten Challenges in Propositional Reasoning and Search''. [[Conferences#IJCAI1997|IJCAI-97]], [http://ijcai.org/Past%20Proceedings/IJCAI-97-VOL1/PDF/009.pdf pdf] | * [[Bart Selman]], [https://en.wikipedia.org/wiki/Henry_Kautz Henry Kautz], [[David McAllester]] ('''1997'''). ''Ten Challenges in Propositional Reasoning and Search''. [[Conferences#IJCAI1997|IJCAI-97]], [http://ijcai.org/Past%20Proceedings/IJCAI-97-VOL1/PDF/009.pdf pdf] | ||
| Line 22: | Line 22: | ||
=External Links= | =External Links= | ||
| − | * [ | + | * [https://ttic.uchicago.edu/~dmcallester/ David McAllester's Personal WWW Page] |
* [https://en.wikipedia.org/wiki/David_A._McAllester David A. McAllester from Wikipedia] | * [https://en.wikipedia.org/wiki/David_A._McAllester David A. McAllester from Wikipedia] | ||
| − | * [ | + | * [https://www.genealogy.math.ndsu.nodak.edu/id.php?id=80263 The Mathematics Genealogy Project - David McAllester] |
=References= | =References= | ||
<references /> | <references /> | ||
| − | |||
'''[[People|Up one level]]''' | '''[[People|Up one level]]''' | ||
| + | [[Category:Researcher|McAllester]] | ||
| + | [[Category:Mathematician|McAllester ]] | ||
Revision as of 19:39, 8 December 2019
Home * People * David McAllester
David McAllester [1]
David Allen McAllester,
an American computer scientist, Professor and Chief Academic Officer at Toyota Technological Institute at Chicago. He received his B.S., M.S., and Ph.D. degrees from the Massachusetts Institute of Technology in 1978, 1979, and 1987 respectively. His research interests covers machine learning theory, the theory of programming languages, automated reasoning, AI planning, computer game playing, and computational linguistics. In 1988, McAllester proposed the best-first search algorithm Conspiracy Number Search and in 1993 the depth-first Alpha-Beta Conspiracy Search, published in 2002 in the ICGA Journal [2].
Contents
Selected Publications
1985 ...
- David McAllester (1985). A New Procedure for Growing Minimax Trees. Technical Report, Artificial Intelligence Laboratory, MIT
- David McAllester (1988). Conspiracy Numbers for Min-Max Search. Artificial Intelligence, Vol. 35, No. 1 » Conspiracy Numbers
- Charles Elkan, David McAllester (1988). Automated Inductive Reasoning about Logic Programs. 5. ICLP / SLP
1990 ...
- David McAllester, Deniz Yuret (1993). Alpha-Beta Conspiracy Search. ps (draft) » Alpha-Beta Conspiracy Search
- Matthew L. Ginsberg, David McAllester (1994). GSAT and Dynamic Backtracking. KR 1994 [5] » Backtracking
- Bart Selman, Henry Kautz, David McAllester (1997). Ten Challenges in Propositional Reasoning and Search. IJCAI-97, pdf
2000 ...
- David McAllester, Robert Schapire (2000). On the Convergence Rate of Good-Turing Estimators. COLT 2000, CiteSeerX [6] [7] [8]
- David McAllester, Deniz Yuret (2002). Alpha-Beta Conspiracy Search. ICGA Journal, Vol. 25, No. 1 » Alpha-Beta Conspiracy Search
- Peter Stone, Robert Schapire, Michael L. Littman, János A. Csirik, David McAllester (2003). Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions. JAIR, Vol. 19, pdf
External Links
- David McAllester's Personal WWW Page
- David A. McAllester from Wikipedia
- The Mathematics Genealogy Project - David McAllester
References
- ↑ David McAllester's Personal WWW Page
- ↑ David McAllester, Deniz Yuret (2002). Alpha-Beta Conspiracy Search. ICGA Journal, Vol. 25, No. 1
- ↑ ICGA Reference Database(pdf)
- ↑ DBLP: David A. McAllester
- ↑ WalkSAT from WIkipedia
- ↑ Good–Turing frequency estimation from Wikipedia
- ↑ Jack Good (1953). The population frequencies of species and the estimation of population parameters. Biometrika, Vol. 40, Nos. 3-4
- ↑ Jack Good (2000). Turing’s anticipation of emprical Bayes in connection with the cryptanalysis of the naval enigma. Journal of Statistical Computation and Simulation, Vol. 66, No. 2
