25,161
edits
Changes
no edit summary
'''[[Main Page|Home]] * [[People]] * David McAllester'''
[[FILE:mcallester16.jpg|border|right|thumb|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 the [[Depth-First|depth-first]] in 1993 as [[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=
* [[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 ]]
