Woody Bledsoe
E53425
Woody Bledsoe was an American mathematician and computer scientist recognized as a pioneer in artificial intelligence, particularly in automated theorem proving and pattern recognition.
Aliases (1)
- Bledsoe ×1
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence researcher
→
computer scientist → human → mathematician → |
| areaOfInfluence |
United States of America
→
surface form: "United States"
|
| citizenship | American → |
| countryOfCitizenship | United States of America → |
| educatedAt |
Rice University
→
University of California, Berkeley → |
| employer | University of Texas at Austin → |
| fieldOfWork |
artificial intelligence
→
automated theorem proving → computer science → mathematics → pattern recognition → |
| gender | male → |
| hasAcademicDiscipline |
automated reasoning
→
logic in computer science → machine perception → |
| hasFamilyName |
Woody Bledsoe
→
surface form: "Bledsoe"
|
| hasGivenName | Woody → |
| hasRole |
academic researcher
→
pioneer of artificial intelligence → research scientist → |
| influenced |
development of modern artificial intelligence
→
research in automated theorem proving → research in pattern recognition → |
| knownFor |
contributions to automated reasoning
→
contributions to face recognition research → early work on machine intelligence → |
| languageOfWorkOrName | English → |
| notableFor |
pioneering work in artificial intelligence
→
research in automated theorem proving → research in pattern recognition → |
| notableWork |
early systems for automated theorem proving
→
early systems for pattern recognition → |
| occupation | university professor → |
| workLocation | Austin, Texas NERFINISHED → |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form: "Bledsoe"