Magazine article AI Magazine

Congratulations to the 2011 AAAI Award Winners!

Magazine article AI Magazine

Congratulations to the 2011 AAAI Award Winners!

Article excerpt

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.

Classic Paper Award

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. After graduation, he accepted a position at the Fairchild Lab for AI Research in Palo Alto, and then joined the faculty at the University of Toronto where he has remained since 1984. Levesque has published over 60 research papers, and is the coauthor of a 2004 textbook on knowledge representation and reasoning. In 1985, he received the Computers and Thought Award given by IJCAI. He is a founding fellow of the AAAI, and was a cofounder of the International Conference on Principles of Knowledge Representation and Reasoning. In 2001, Levesque was the conference chair of IJCAI-01, and served as president of the Board of Trustees of IJCAI from 2001 to 2003. …

Search by... Author
Show... All Results Primary Sources Peer-reviewed

Oops!

An unknown error has occurred. Please click the button below to reload the page. If the problem persists, please try again in a little while.