Donald Loveland

URI: https://gptkb.org/entity/Donald_Loveland
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:awardReceived gptkb:Herbrand_Award
gptkbp:employer gptkb:Duke_University
gptkbp:fieldOfWork gptkb:artificial_intelligence
gptkb:logic
computer science
https://www.w3.org/2000/01/rdf-schema#label Donald Loveland
gptkbp:knownFor gptkb:Loveland–Stapp_method
gptkb:Loveland's_model_elimination
contributions to automated theorem proving
gptkbp:nationality gptkb:American
gptkbp:notableStudent gptkb:William_McCune
gptkbp:occupation gptkb:computer_scientist
gptkbp:position gptkb:professor
gptkbp:bfsParent gptkb:Davis–Putnam–Logemann–Loveland_algorithm
gptkbp:bfsLayer 6