WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Вудро Вильсон Бледсоу
Дата рождения 12 ноября 1921(1921-11-12)[1]
Место рождения
Дата смерти 4 октября 1995(1995-10-04)[1] (73 года)
Место смерти
Страна
Место работы
Альма-матер
Научный руководитель Anthony Morse[d]
Награды и премии

Вудро Уилсон (Вудди) Бледсоу (англ. Woodrow Wilson (Woody) Bledsoe; р. 12 ноября 19214 октября 1995)  — выдающийся американский учёный в области искусственного интеллекта, сделавший значительный вклад в теорию распознавания образов[2] и автоматического доказательства.[3][4][5][6]

Некоторые работы

Статьи

  • 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. “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. “I Had a Dream: AAAI Presidential Address, 19 August 1985”. AI Magazine. 7 (1): 57–61. Неизвестный параметр |год= (справка)  (англ.)

Примечания

  1. 1 2 3 Woody Bledsoe: His Life and Legacy // AI MagazineАссоциация по продвижению искусственного интеллекта, 1996. — Т. 17, вып. 1. — ISSN 0738-4602
  2. W. W. Bledsoe (1966). “Some Results on Multicategory Pattern Recognition”. J. ACM. 13 (2): 304–316.  (англ.)
  3. W. W. Bledsoe. “Splitting and Reduction Heuristics in Automatic Theorem Proving” (PDF). Artif. Intellig. 2: 55–77. Неизвестный параметр |год= (справка); Неизвестный параметр |номер= (справка)  (англ.)
  4. W. W. Bledsoe. Proc. IJCAI. — Sep 1975. — P. 15-21.  (англ.)
  5. 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)  (англ.)
  6. W. W. Bledsoe and Kenneth Kunen and Robert E. Shostak (1985). “Произведенной Results for Inequality Provers”. Artif. Intellig. 27. Неизвестный параметр |номер= (справка); Неизвестный параметр |страницы= (справка) — Preceding technical report ATP65 (1983)  (англ.)

Ссылки

  • Перечень публикаций на DBLP  (англ.)
  • Boyer, Anne Olivia. Automated Reasoning: Essays in Honor of Woody Bledsoe / Anne Olivia Boyer, Boyer. — Kluwer Academic Publishers Group, 1991. — С. 1-29.  (англ.)

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии