DeKleer, Johann, AAAI, United States