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

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

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
Woodrow Wilson Bledsoe. Mathematics Genealogy Project. (англ.)
Математична генеалогія — 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. Artif. Intell. 2 (1): 55–77. (англ.)
W.W. Bledsoe (Sep 1975). A New Method for Proving Certain Presburger Formulas. Proc. IJCAI. с. 15–21. (англ.)
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 (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 (1983) (англ.)

Перелік публікацій на DBLP (англ.)
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. (англ.)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.