GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Donald W. Loveland
URI:
https://gptkb.org/entity/Donald_W._Loveland
GPTKB entity
Statements (17)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:affiliation
gptkb:Vanderbilt_University
gptkbp:almaMater
gptkb:New_York_University
gptkbp:awardReceived
gptkb:Fellow_of_the_Association_for_Computing_Machinery
gptkb:Herbrand_Award
gptkbp:birthYear
1939
gptkbp:field
gptkb:artificial_intelligence
gptkb:logic
computer science
https://www.w3.org/2000/01/rdf-schema#label
Donald W. Loveland
gptkbp:knownFor
gptkb:Loveland's_model_elimination
contributions to automated theorem proving
gptkbp:nationality
gptkb:American
gptkbp:occupation
gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent
gptkb:David_S._Wise
gptkbp:bfsLayer
5