Gundersen, Odd Erik, AAAI, United States