Вудро Вілсон Бледсоу

Вудро Вілсон (Вудді) Бледсоу (англ. Woodrow Wilson (Woody) Bledsoe; нар.12 листопада 1921 — пом.4 жовтня 1995)  — видатний американський науковець в галузі штучного інтелекту, зробивший значні внески в теорію розпізнавання образів та автоматичного доведення.

Вудро Вілсон Бледсоу
англ. Woodrow Wilson Bledsoe
Народився	12 листопада 1921(1921-11-12) Мейсвілл, Оклахома
Помер	4 жовтня 1995(1995-10-04) (73 роки) Техас ·бічний аміотрофічний склероз
Країна	США
Діяльність	математик, священник, інформатик, інженер, дослідник штучного інтелекту
Alma mater	Університет Каліфорнії (Берклі)
Галузь	Інформатика, Штучний інтелект
Заклад	Sandia National Laboratories, Техаський університет
Науковий керівник	англ. Anthony Perry Morse
Аспіранти, докторанти	^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3] ^d^[3]
Нагороди	Бронзова Зірка (1945), IJCAI Distinguished Service Award (1991), AMS Milestone Award (1991), Herbrand Award (1994)

Деякі праці

Статті

• W.W. Bledsoe (1977). Non-Resolution Theorem Proving. . 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). . AI Magazine. 7 (1): 57—61. Архів оригіналу за 22 жовтня 2016. Процитовано 5 червня 2016. (англ.)

Примітки

1. Woodrow Wilson Bledsoe. Mathematics Genealogy Project [ 4 березня 2016 у Wayback Machine.]. (англ.)
2. Woody Bledsoe: His Life and Legacy // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
   d:Track:Q15750829d:Track:Q2739680
3. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984
4. W.W. Bledsoe (1966). Some Results on Multicategory Pattern Recognition. J.ACM. 13 (2): 304—316. (англ.)
5. W.W. Bledsoe (1971). (PDF). Artif. Intell. 2 (1): 55—77. Архів оригіналу (PDF) за 12 березня 2020. Процитовано 5 червня 2016. (англ.)
6. W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. (PDF). с. 15—21. Архів оригіналу (PDF) за 5 серпня 2016. Процитовано 5 червня 2016. (англ.)
7. W.W. Bledsoe (1977). Non-Resolution Theorem Proving. . 9: 1—35. doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 [ 4 березня 2016 у Wayback Machine.] (Sep.1975) (англ.)
8. W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). Completeness Results for Inequality Provers. Artif. Intell. 27 (3): 255—288. — Preceding technical report ATP65 [ 4 березня 2016 у Wayback Machine.] (1983) (англ.)

Посилання

• Перелік публікацій на DBLP [ 22 жовтня 2016 у Wayback Machine.] (англ.)
• Boyer, Anne Olivia; Boyer, Robert S. (1991). A Biographical Sketch of W. W. Bledsoe. У Boyer, Robert S. (ред.). Automated Reasoning: Essays in Honor of Woody Bledsoe. Kluwer Academic Publishers Group. с. 1–29. (CiteSeerX): 10.1.1.57.3396. (англ.)