fbpx
Wikipedia

Donald W. Loveland

December 01, 2023

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 88)
Rochester, New York
Alma materNew York University
Known forDPLL algorithm
AwardsHerbrand Award 2001
Scientific career
FieldsComputer science
InstitutionsDuke University
ThesisRecursively 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
  • 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. hdl:2027/mdp.39015095248095. S2CID 15866917.
  • 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. S2CID 18377884.
  • Loveland, D. W. (1969). "A Simplified Format for the Model Elimination Theorem-Proving Procedure". Automation of Reasoning. pp. 233–248. CiteSeerX 10.1.1.1017.8248. doi:10.1007/978-3-642-81955-1_14. ISBN 978-3-642-81957-5.
  • 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". Symposium on Automatic Demonstration. Lecture Notes in Mathematics. Vol. 125. pp. 147–162. doi:10.1007/BFb0060630. ISBN 978-3-540-04914-2. ISSN 0075-8434. S2CID 121021241.
  • 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. S2CID 14244283.
  • 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. S2CID 15686713.

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

External links edit

  • Publication list at DBLP


    

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

December 01, 2023
donald, loveland, born, december, 1934, rochester, york, professor, emeritus, computer, science, duke, university, specializes, artificial, intelligence, well, known, davis, putnam, logemann, loveland, algorithm, born, 1934, december, 1934, rochester, yorkalma. 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 LovelandBorn 1934 12 26 December 26 1934 age 88 Rochester New YorkAlma materNew York UniversityKnown forDPLL algorithmAwardsHerbrand Award 2001Scientific careerFieldsComputer scienceInstitutionsDuke UniversityThesisRecursively Random Sequences 1964 Doctoral advisorsPeter Ungar Martin David DavisDoctoral studentsOwen Astrachan Susan GerhartLoveland 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 Contents 1 Bibliography 2 See also 3 References 4 External linksBibliography editBooksAutomated 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 papersDavis 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 hdl 2027 mdp 39015095248095 S2CID 15866917 Loveland Donald 1966 A New Interpretation of the von Mises Concept of Random Sequence Zeitschrift fur 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 S2CID 18377884 Loveland D W 1969 A Simplified Format for the Model Elimination Theorem Proving Procedure Automation of Reasoning pp 233 248 CiteSeerX 10 1 1 1017 8248 doi 10 1007 978 3 642 81955 1 14 ISBN 978 3 642 81957 5 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 Symposium on Automatic Demonstration Lecture Notes in Mathematics Vol 125 pp 147 162 doi 10 1007 BFb0060630 ISBN 978 3 540 04914 2 ISSN 0075 8434 S2CID 121021241 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 S2CID 14244283 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 S2CID 15686713 See also editModel eliminationReferences edit 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 Duke University personal page 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 Curriculum Vitae 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 Two Professors Named ACM Fellows Duke University 1 November 1999 Archived from the original on 10 October 2016 Retrieved 28 August 2016 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 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 External links editPublication list at DBLP nbsp nbsp nbsp This article about an American mathematician is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Donald W Loveland amp oldid 1184178476, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.