Bledsoe, Woodrow Wilson
Woodrow Wilson (Woody) Bledsoe ( született : 1921. november 12. – 1995. október 4. ) amerikai mesterséges intelligencia tudós , aki jelentős mértékben hozzájárult a mintafelismerés [3] és az automatikus bizonyítás elméletéhez . [4] [5] [6] [7]
A munka egy része
Cikkek
- W. W. Bledsoe. Nem-felbontási tétel bizonyítása // Mesterséges intelligencia . - 1977. - 1. évf. 9 . - P. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 .
- W. W. Bledsoe; I. Browning. Mintafelismerés és -olvasás gépi úton // Az 1959. december 1-3. közötti keleti közös IRE-AIEE-ACM számítógépes konferencián bemutatott dokumentumok. - ACM, 1959. - 1. évf. IRE-AIEE-ACM '59 (keleti) . - P. 225-232 . - doi : 10.1145/1460299.1460326 .
- Woody Bledsoe. Volt egy álmom: AAAI elnöki beszéd, 1985. augusztus 19. (angolul) // AI Magazine : folyóirat. - 1986. - 1. évf. 7 . - P. 57-61 .
Jegyzetek
- ↑ 1 2 3 Woody Bledsoe: His Life and Legacy (angolul) // AI Magazine - AAAI , 1996. - Vol. 17, Iss. 1. - ISSN 0738-4602 ; 2371-9621
- ↑ Matematikai genealógia (angol) - 1997.
- ↑ W. W. Bledsoe. Néhány eredmény a többkategóriás mintafelismerésről // J. ACM : folyóirat. - 1966. - 1. évf. 13 . - P. 304-316 .
- ↑ W. W. Bledsoe. Felosztási és redukciós heurisztika az automatikus tételbizonyításban // Artif . Intellig. : folyóirat. - 1971. - 1. évf. 2 , sz. 1 . - P. 55-77 .
- ↑ W. W. Bledsoe. Proc. IJCAI (angol) . - 1975. - P. 15-21.
- ↑ W. W. Bledsoe. Nem-felbontási tétel bizonyítása. ATP29. Előző műszaki jelentés (angol) // Mesterséges intelligencia . - 1975. - szeptember ( 9. köt. ). - P. 1-35 . - doi : 10.1016/0004-3702(77)90012-1 . Az eredetiből archiválva: 2016. március 4.
- ↑ W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. Teljességi eredmények egyenlőtlenség-bizonyítók számára. ATP65. Előző műszaki jelentés (angol) // Artif. Intellig.. - 1983. - évf. 27 , sz. 3 . - P. 255-288 . Az eredetiből archiválva: 2016. március 4.
Linkek
Tematikus oldalak |
|
---|
Bibliográfiai katalógusokban |
---|
|
|