DeKleer%2C%20Johann, AAAI, United States