Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:Stanford_University
|
| gptkbp:birthYear |
1944
|
| gptkbp:education |
PhD_in_Computer_Science
|
| gptkbp:field |
Artificial Intelligence
|
| https://www.w3.org/2000/01/rdf-schema#label |
Avron Barr
|
| gptkbp:influenced |
Many AI researchers
|
| gptkbp:influencedBy |
gptkb:John_McCarthy
|
| gptkbp:knownFor |
Contributions to computer science
|
| gptkbp:nationality |
American
|
| gptkbp:notableWork |
Theorem_Proving
|