Donald W. Loveland (born December 26, 1934)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. is a professor emeritus of computer science at Duke University who specializes in artificial intelligence.Duke University personal page He is well known for the Davis–Putnam–Logemann–Loveland algorithm.
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.Curriculum Vitae
He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001. He is a Fellow of the Association for Computing Machinery (2000), a Fellow of the Association of Artificial Intelligence (1993), and a Fellow of the American Association for the Advancement of Science (2019).
Bibliography Books
Selected papers
See also Model elimination
References
External links Publication list at DBLP