Woody Bledsoe

Woodrow Wilson "Woody" Bledsoe (November 12, 1921 – October 4, 1995) was a mathematician, computer scientist, and prominent educator. He is one of the founders of artificial intelligence, making early contributions in pattern recognition and automated theorem proving. He continued to make significant contributions to AI throughout his long career.
Bledsoe joined The Church of Jesus Christ of Latter-day Saints as an adult, and served in the church as a Bishop, counselor to the Stake Presidency, and Stake Patriarch. He also served as a leader in the Boy Scouts of America. Bledsoe died on October 4, 1995 of ALS, more commonly known as Lou Gehrig's disease.

• W.W. Bledsoe (1977). "Non-Resolution Theorem Proving". Artificial Intelligence. 9: 1–35. doi:10.1016/0004-3702(77)90012-1. 
• W.W. Bledsoe; I. Browning (1959). "Pattern Recognition and Reading by Machine". Papers Presented at the December 1-3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference. IRE-AIEE-ACM '59 (Eastern). ACM: 225–232. doi:10.1145/1460299.1460326. 
• Woody Bledsoe (1986). "I Had a Dream: AAAI Presidential Address, 19 August 1985". AI Magazine. 7 (1): 57–61.