AAAI News

The 2011 AAAI Classic Paper Award was given to the authors of the most influential papers from the Tenth National Conference on Artificial Intelligence, held in 1992 in San Jose, California. The award was presented to Mitchell received his BSc in cognitive process. The winning papers were selected Hector Levesque, David Mitchell, and science and artificial intelligence at by the program chairs with the Bart Selman for their two papers, Hard the University of Toronto, his MSc in help of area chairs and members of the and Easy Distribution of SAT Problems computing science from Simon Fraser senior program committee. Honors and A New Method for Solving Hard University, and his PhD in computer went to Jessica Davies (University of Satisfiability Problems. Paris Sud 11), Nina Narodytska to the area of automated Bart Selman is a professor of computer (NICTA and University of New South reasoning via methods and analyses science at Cornell University.