Donald W. Loveland

Property	Value
rdf:type	Fellow of the Association for the Advancement of Artificial Intelligence owl:NamedIndividual 1934 birth 20th-century American mathematician 21st-century American mathematician American computer scientist Artificial intelligence researcher Fellow of the Association for Computing Machinery Living person New York University alumnus Oberlin College alumnus
rdfs:label	Donald W. Loveland
owl:sameAs	dbr:Donald_W._Loveland
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1934_births http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:New_York_University_alumni http://en.wikipedia.org/wiki/Category:Oberlin_College_alumni http://en.wikipedia.org/wiki/List_of_New_York_University_alumni http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence http://en.wikipedia.org/wiki/Category:Artificial_intelligence_researchers http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/Loveland_(surname)
skos:prefLabel	Donald W. Loveland
skos:altLabel	Donald W. Loveland
clgo:academicDiscipline	Computer science Artificial intelligence
clgo:almaMater	Oberlin College New York University
clgo:award	Association for the Advancement of Artificial Intelligence Herbrand Award
clgo:birthPlace	Rochester, New York
clgo:birthYear	1934
clgo:doctoralStudent	Owen Astrachan Susan Gerhart
clgo:institution	Duke University
clgo:knownFor	DPLL algorithm
is clgo:doctoralAdvisor of	Susan Gerhart
is clgo:doctoralStudent of	Martin Davis (mathematician)

About: clgr:Donald_W._Loveland