National Science Foundation. ↑ "Elected AAAI Fellows". www.aaai.org. Retrieved 11 October 2017. ↑ "AAAS Fellows 2013" (PDF). Retrieved 11 October 2017. ↑ "Carla Gomes, Bart Selman and Henry Kautz co-win AAAI Classic Paper Award | Department of Computer Science". www.cs.cornell.edu. ↑ ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, December 11, 2017, retrieved 2017-11-13