Jump to content

Donald W. Loveland

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Bender the Bot (talk | contribs) at 11:11, 14 October 2016 (→Bibliography: http→https for Google Books and Google News using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Donald W. Loveland
Born (1934-12-26) December 26, 1934 (age 89)
Rochester, New York
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, Robert Daley, Timothy Gegg-Harrison, Susan Gerhart, David Mutchler, C. Ramu Reddy, David Reed, Marco Valtorta

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]

Loveland graduated from Oberlin College in 1956, received a Masters 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.[4][5][1]

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] and a Fellow of the Association of Artificial Intelligence (1993).[7]

Bibliography

Books
  • Automated Theorem Proving: A Logical Basis. North-Holland Publishing Company. 1978. ISBN 978-0-7204-2500-0. doi:10.1016/c2009-0-12705-8
  • Proceedings of the 6th Conference on Automated Deduction. (Editor) Springer-Verlag, London. 1982. ISBN 978-3-540-11558-8. doi:10.1007/BFb0000048
  • Automated Theorem Proving: After 25 Years. (with W.W. Bledsoe) American Mathematical Soc. 1984. ISBN 978-0-8218-5027-5. doi:10.1090/conm/029
  • 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
  • Davis, Martin; Logemann, George; Loveland, Donald (1 July 1962). "A machine program for theorem-proving". Communications of the ACM. 5 (7): 394–397. doi:10.1145/368273.368557.
  • Loveland, Donald (1966). "A New Interpretation of the von Mises' Concept of Random Sequence". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 12 (1): 279–294. doi:10.1002/malq.19660120124.
  • Loveland, Donald W. (1 April 1968). "Mechanical Theorem-Proving by Model Elimination". Journal of the ACM. 15 (2): 236–251. doi:10.1145/321450.321456.
  • Loveland, D. W. (1969). "A Simplified Format for the Model Elimination Theorem-Proving Procedure": 233–248. doi:10.1007/978-3-642-81955-1_14. {{cite journal}}: Cite journal requires |journal= (help)
  • Loveland, D.W. (December 1969). "A variant of the Kolmogorov concept of complexity". Information and Control. 15 (6): 510–526. doi:10.1016/S0019-9958(69)90538-5.
  • Loveland, D. W. (1970). "A linear format for resolution". Lecture Notes in Mathematics. 125: 147–162. doi:10.1007/BFb0060630. ISSN 0075-8434.
  • Loveland, D. W. (1 April 1972). "A Unifying View of Some Linear Herbrand Procedures". Journal of the ACM. 19 (2): 366–384. doi:10.1145/321694.321706.
  • Fleisig, S.; Loveland, D.; Smiley, A. K.; Yarmush, D. L. (1 January 1974). "An Implementation of the Model Elimination Proof Procedure". Journal of the ACM. 21 (1): 124–139. doi:10.1145/321796.321807.

See also

Model elimination

References

  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.
  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. 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.

Publication list at DBLP

Flag of United StatesScientist icon

This article about an American mathematician is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Donald_W._Loveland&oldid=744300828"