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

Вудро Вілсон Бледсоу
Вудро Вілсон Бледсоу
англ. Woodrow Wilson Bledsoe
Народився	12 листопада 1921; Мейсвілл, Оклахома
Помер	4 жовтня 1995 (73 роки); Техас; ·бічний аміотрофічний склероз
Країна	США
Діяльність	математик, священник, інформатик, інженер, дослідник штучного інтелекту
Alma mater	Університет Каліфорнії (Берклі)
Галузь	Інформатика, ; Штучний інтелект
Заклад	Sandia National Laboratories, ; Техаський університет
Науковий керівник	англ. Anthony Perry Morse
Аспіранти, докторанти	Роберт Бойерd; Larry Marvin Hinesd; James Bertram Morris, Jr.d; Charles Edward Wilksd; John Wade Ulrichd; Vesko Genov Marinovd; Dallas Sylvester Lankford IVd; Guohui Fengd; Stephen Charles Dardend; Robert Brockett Andersond; Mark Steven Moriconid; John Threecivelous Minor, IIId; Peter Leonard Bruelld; William Mabry Tysond; Tie-Cheng Wangd; Donald Lee Simond
Нагороди	Бронзова Зірка (1945),; IJCAI Distinguished Service Award (1991),; AMS Milestone Award (1991),; Herbrand Award (1994);

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

Деякі праці

Статті

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. Архів оригіналу за 22 жовтня 2016. Процитовано 5 червня 2016. (англ.)

Примітки

↑ Woodrow Wilson Bledsoe. Mathematics Genealogy Project [Архівовано 4 березня 2016 у Wayback Machine.]. (англ.)
↑ Woody Bledsoe: His Life and Legacy // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
d:Track:Q15750829 d:Track:Q2739680
↑ ^а ^б ^в ^г ^д ^е ^ж ^и ^к ^л ^м ^н ^п ^р ^с ^т Математичний генеалогічний проєкт — 1997.
d:Track:Q829984
↑ W.W. Bledsoe (1966). Some Results on Multicategory Pattern Recognition. J.ACM. 13 (2): 304—316. (англ.)
↑ W.W. Bledsoe (1971). Splitting and Reduction Heuristics in Automatic Theorem Proving (PDF). Artif. Intell. 2 (1): 55—77. Архів оригіналу (PDF) за 12 березня 2020. Процитовано 5 червня 2016. (англ.)
↑ W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. Proc. IJCAI (PDF). с. 15—21. Архів оригіналу (PDF) за 5 серпня 2016. Процитовано 5 червня 2016. (англ.)
↑ W.W. Bledsoe (1977). Non-Resolution Theorem Proving. Artificial Intelligence. 9: 1—35. doi:10.1016/0004-3702(77)90012-1. — Preceding technical report ATP29 [Архівовано 4 березня 2016 у Wayback Machine.] (Sep.1975) (англ.)
↑ 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) (англ.)