Бледсоу, Вудро Вильсон
Вудро Уилсон (Вудди) Бледсоу (англ. Woodrow Wilson (Woody) Bledsoe; р. 12 ноября 1921 — 4 октября 1995) — американский учёный в области искусственного интеллекта, сделавший значительный вклад в теорию распознавания образов[3] и автоматического доказательства.[4][5][6][7]
Вудро Вильсон Бледсоу | |
---|---|
![]() | |
Дата рождения | 12 ноября 1921[1] |
Место рождения | |
Дата смерти | 4 октября 1995[1] (73 года) |
Место смерти | |
Страна | |
Место работы | |
Альма-матер | |
Научный руководитель | Anthony Morse[d][2] |
Награды и премии |
Некоторые работы
Статьи
- W. W. Bledsoe. Non-Resolution Theorem Proving (неопр.) // Artificial Intelligence. — 1977. — Т. 9. — С. 1—35. — doi:10.1016/0004-3702(77)90012-1. (англ.)
- W. W. Bledsoe; I. Browning. Pattern Recognition and Reading by Machine (неопр.) // Papers Presented at the December 1-3, 1959, Eastern Joint IRE-AIEE-ACM Computer Conference. — ACM, 1959. — Т. IRE—AIEE—ACM '59 (Eastern). — С. 225—232. — doi:10.1145/1460299.1460326. (англ.)
- Woody Bledsoe. I Had a Dream: AAAI Presidential Address, 19 August 1985 (англ.) // AI Magazine : journal. — 1986. — Vol. 7. — P. 57—61. (англ.)
Примечания
- Woody Bledsoe: His Life and Legacy (англ.) // AI Magazine — AAAI, 1996. — Vol. 17, Iss. 1. — ISSN 0738-4602; 2371-9621
- Математическая генеалогия (англ.) — 1997.
- W. W. Bledsoe. Some Results on Multicategory Pattern Recognition (англ.) // J. ACM : journal. — 1966. — Vol. 13. — P. 304—316. (англ.)
- W. W. Bledsoe. Splitting and Reduction Heuristics in Automatic Theorem Proving (англ.) // Artif. Intellig. : journal. — 1971. — Vol. 2, no. 1. — P. 55—77. (англ.)
- W. W. Bledsoe. Proc. IJCAI (неопр.). — 1975. — С. 15—21. (англ.)
- W. W. Bledsoe. Non-Resolution Theorem Proving (неопр.) // Artificial Intelligence. — 1977. — Т. 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. Произведенной Results for Inequality Provers (неопр.) // Artif. Intellig.. — 1985. — Т. 27, № 3. — С. 255—288. — Preceding technical report ATP65 (1983) (англ.)
Ссылки
- Перечень публикаций на DBLP (англ.)
- Boyer, Anne Olivia; Boyer, Robert S. Automated Reasoning: Essays in Honor of Woody Bledsoe (англ.) / Boyer, Robert S.. — Kluwer Academic Publishers Group, 1991. — P. 1—29. (англ.)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.