awards and honors Robert S. Engelmore Memorial Lecture Award, conferred by Association for the Advancement of Artificial Intelligence, 2003
