Congratulations to the 2011 AAAI Award Winners!

Henry Kautz, AAAI President, and Eric Horvitz, AAAI Past President and Awards Committee Chair, presented the AAAI Awards in August at AAAI-11 in San Francisco. 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 Hector Levesque, David Mitchell, and Bart Selman for their two papers, Hard and Easy Distribution of SAT Problems and A New Method for Solving Hard Satisfiability Problems. These papers were honored for their significant contributions to the area of automated reasoning via methods and analyses on satisfiability, providing foundational insights about constraint satisfaction and search. Hector Levesque received his Ph.D. from the University of Toronto in 1981.