Donald W. Loveland

URI: https://gptkb.org/entity/Donald_W._Loveland

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	Donald W. Loveland