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