Donald W. Loveland

(Redirected from D. W. Loveland)

Donald W. Loveland (born December 26, 1934, in Rochester, New York)[1] is a professor emeritus of computer science at Duke University who specializes in artificial intelligence.[2] He is well known for the Davis–Putnam–Logemann–Loveland algorithm.[3]

Donald W. Loveland
Born (1934-12-26) December 26, 1934 (age 89)
Alma materNew York University
Known forDPLL algorithm
AwardsHerbrand Award 2001
Scientific career
FieldsComputer science
InstitutionsDuke University
Thesis Recursively Random Sequences  (1964)
Doctoral advisorsPeter Ungar, Martin David Davis
Doctoral studentsOwen Astrachan, Susan Gerhart

Loveland graduated from Oberlin College in 1956, received a master's degree from the Massachusetts Institute of Technology in 1958 and a Ph.D. from New York University in 1964. He joined the Duke University Computer Science Department in 1973. He previously served as a faculty member in the Department of Mathematics at New York University and Carnegie Mellon University.[1][4][5]

He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001.[5] He is a Fellow of the Association for Computing Machinery (2000),[6] a Fellow of the Association of Artificial Intelligence (1993),[7] and a Fellow of the American Association for the Advancement of Science (2019).[8]

Bibliography

edit
Books
  • Automated Theorem Proving: A Logical Basis. North-Holland Publishing Company. 1978. doi:10.1016/c2009-0-12705-8. hdl:2445/109943. ISBN 978-0-7204-2500-0.
  • 6th Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 138. (Editor) Springer-Verlag, London. 1982. doi:10.1007/BFb0000048. ISBN 978-3-540-11558-8. S2CID 33583364.
  • Automated Theorem Proving: After 25 Years. Contemporary Mathematics. Vol. 29. (with W.W. Bledsoe) American Mathematical Soc. 1984. doi:10.1090/conm/029. ISBN 978-0-8218-5027-5.
  • Three Views of Logic: Mathematics, Philosophy, and Computer Science. (with R. Hodel and S.G. Sterrett) Princeton University Press. 26 January 2014. ISBN 978-1-4008-4875-1.
Selected papers

See also

edit

References

edit
  1. ^ a b Loveland, D.W.; Stickel, M.E.; "A Hole in Goal Trees: Some Guidance from Resolution Theory". In Proceedings of IEEE Trans. Computers. 1976, 335-341.
  2. ^ Duke University personal page
  3. ^ Davis, Martin; Logemann, George; Loveland, Donald (1962). "A Machine Program for Theorem Proving". Communications of the ACM. 5 (7): 394–397. doi:10.1145/368273.368557. hdl:2027/mdp.39015095248095. S2CID 15866917.
  4. ^ Curriculum Vitae
  5. ^ a b "Prestigious Herbrand Award Presented to Duke University Computer Science Faculty Member" (PDF). Duke University Press Release. 16 July 2001. Retrieved 28 August 2016.
  6. ^ "Two Professors Named ACM Fellows". Duke University. 1 November 1999. Archived from the original on 10 October 2016. Retrieved 28 August 2016.
  7. ^ "Elected AAAI Fellows, Donald W. Loveland, Duke University". Association for the Advancement of Artificial Intelligence. Retrieved 28 August 2016. For outstanding contributions to the field of automated reasoning and development of the model elimination theorem-proving procedure.
  8. ^ "2019 AAAS Fellows approved by the AAAS Council". Science. 366 (6469): 1086–1089. 29 November 2019. Bibcode:2019Sci...366.1086.. doi:10.1126/science.366.6469.1086.
edit