Dietterich, Thomas G, AAAI, United States