25,161
edits
Changes
no edit summary
'''[[Main Page|Home]] * [[People]] * David McAllester'''
[[FILE:mcallester16.jpg|border|right|thumb|200px|link=httphttps://ttic.uchicago.edu/~dmcallester/| David McAllester <ref>[httphttps://ttic.uchicago.edu/~dmcallester/ David McAllester's Personal WWW Page]</ref> ]]
'''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]] which was adopted to , and in 1993 along with [[Deniz Yuret]], the [[Depth-First|depth-first]] in 1993 as [[Alpha-Beta Conspiracy Search]], published republished 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> and mentioned by the [[Deep Blue]] team <ref>[[Murray Campbell]], [[Joe Hoane]], [[Feng-hsiung Hsu]] ('''1999'''). ''Search Control Methods in Deep Blue''. [[AAAI]] Technical Report SS-99-07, [https://pdfs.semanticscholar.org/211d/7268093b4dfce8201e8da321201c6cd349ef.pdf pdf], [https://web.archive.org/web/20160914070926/http://aaaipress.org/Papers/Symposia/Spring/1999/SS-99-07/SS99-07-004.pdf pdf]</ref>.
=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database](pdf)]</ref> <ref>[http://dblp.uni-trier.de/pers/hd/m/McAllester:David_A= DBLP: David A. McAllester]</ref>
==1985 ...==
* [[David McAllester]] ('''1985'''). ''A New Procedure for Growing Minimax Trees''. Technical Report, Artificial Intelligence Laboratory, [[Massachusetts Institute of Technology|MIT]]
* [[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 ...==
* [[David McAllester]], [[Deniz Yuret]] ('''1993'''). ''Alpha-Beta Conspiracy Search''. [httphttps://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]]
* [[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]
=External Links=
* [httphttps://ttic.uchicago.edu/~dmcallester/ David McAllester's Personal WWW Page]
* [https://en.wikipedia.org/wiki/David_A._McAllester David A. McAllester from Wikipedia]
* [httphttps://www.genealogy.math.ndsu.nodak.edu/id.php?id=80263 The Mathematics Genealogy Project - David McAllester]
=References=
<references />
'''[[People|Up one level]]'''
[[Category:Researcher|McAllester]]
[[Category:Mathematician|McAllester ]]
