AAAI, , AAAI, United States