Woody Bledsoe : Biographie, Sélection de publications, Bibliographie, Références Wikipédia, l'encyclopédie libre

Woody Bledsoe

Pour les articles homonymes, voir Bledsoe.

Woody Bledsoe

Biographie
Naissance	12 novembre 1921 Maysville
Décès	4 octobre 1995 (à 73 ans) Texas
Nationalité	américaine
Formation	Université de Californie à Berkeley
Activités	Mathématicien, ingénieur, informaticien, prêtre, chercheur en intelligence artificielle

Autres informations
A travaillé pour	Université du Texas à Austin
Directeur de thèse	Anthony Morse (en) (1953)
Distinctions	AAAI Fellow (1990) Prix Herbrand (1994)

modifier - modifier le code - modifier Wikidata

Woodrow Wilson « Woody » Bledsoe (né le 12 novembre 1921 et mort le 4 octobre 1995) est un mathématicien et informaticien américain. Il est l'un des fondateurs de l'intelligence artificielle, apportant parmi les premières contributions à la reconnaissance de formes^[1] et à la démonstration automatisée de théorèmes^[2]^,^[3]^,^[4]^,^[5].

Biographie

À partir de 1966, il travaille au département de mathématiques et d'informatique de l'Université du Texas à Austin, où il occupe la chaire Peter O'Donnell Jr. Centennial en science informatique à partir de 1987^[6].

Bledsoe rejoint l'Église de Jésus-Christ des saints des derniers jours adulte. Il est également un temps chef de file des Boy Scouts of America^[7]. Il décède le 4 octobre 1995 d'une sclérose latérale amyotrophique.

Sélection de publications

W.W. Bledsoe, « Non-Resolution Theorem Proving », Artificial Intelligence, vol. 9,‎ 1977, p. 1–35 (DOI 10.1016/0004-3702(77)90012-1)
W.W. Bledsoe et 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),‎ 1959, p. 225–232 (DOI 10.1145/1460299.1460326)
Woody Bledsoe, « I Had a Dream: AAAI Presidential Address, 19 August 1985 », AI Magazine, vol. 7,‎ 1986, p. 57–61 (lire en ligne)

Bibliographie

Anne Olivia Boyer et Robert S. Boyer, Automated Reasoning: Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers Group, 1991, 1–29 (lire en ligne), « A Biographical Sketch of W. W. Bledsoe »

Références

↑ W.W. Bledsoe, « Some Results on Multicategory Pattern Recognition », J. ACM, vol. 13,‎ 1966, p. 304–316 (DOI 10.1145/321328.321340)
↑ W.W. Bledsoe, « Splitting and Reduction Heuristics in Automatic Theorem Proving », Artif. Intell., vol. 2,‎ 1971, p. 55–77 (DOI 10.1016/0004-3702(71)90004-x, lire en ligne)
↑ W.W. Bledsoe, Proc. IJCAI, septembre 1975, 15–21 p. (lire en ligne), « A New Method for Proving Certain Presburger Formulas »
↑ (en) W.W. Bledsoe, « Non-resolution theorem proving », Artificial Intelligence, vol. 9, n^o 1,‎ août 1977, p. 1–35 (DOI 10.1016/0004-3702(77)90012-1, lire en ligne, consulté le 17 août 2020)
↑ W.W. Bledsoe and Kenneth Kunen and Robert E. Shostak, « Completeness Results for Inequality Provers », Artif. Intell., vol. 27,‎ 1985, p. 255–288 (DOI 10.1016/0004-3702(85)90015-3) — Preceding technical report ATP65 (1983)
↑ Computational Logic — Essays in Honor of Alan Robinson, Cambridge/MA, MIT Press, 1991, 727 p. (ISBN 978-0-262-12156-9)
↑ « Archive Search Results », sur nl.newsbank.com (consulté le 17 août 2020)

Liens externes

Michael Ballantyne, Robert S. Boyer and Larry Hines. "Woody Bledsoe: His Life and Legacy" AI Magazine, Vol. 17. No. 1, pp. 7–20, Spring 1996, American Association for Artificial Intelligence.
Publications de WW Bledsoe au DBLP
WW Bledsoe sur le wiki de programmation d'échecs
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notices d'autorité :
- VIAF
- ISNI
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- Norvège
- WorldCat