Shieber, Stuart M., AAAI, United States