Donald W. Loveland (born December 26, 1934, in
Rochester, New York
Rochester () is a city in the U.S. state of New York, the seat of Monroe County, and the fourth-most populous in the state after New York City, Buffalo, and Yonkers, with a population of 211,328 at the 2020 United States census. Located in W ...
)
[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
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
at
Duke University who specializes in
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...
.
[Duke University personal page]
/ref> He is well known for the Davis–Putnam–Logemann–Loveland algorithm
In logic and computer science, the Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solv ...
.
Loveland graduated from Oberlin College in 1956, received a master's degree from the Massachusetts Institute of Technology
The Massachusetts Institute of Technology (MIT) is a private land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern technology and science, and is one of the ...
in 1958 and a Ph.D. from New York University
New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin.
In 1832, th ...
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
New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin.
In 1832, th ...
and Carnegie Mellon University.[Curriculum Vitae]
/ref>
Bibliography
;Books
*
*
*
*
;Selected papers
*
*
*
*
*
*
*
*
See also
*Model elimination Model Elimination is the name attached to a pair of proof procedures invented by Donald W. Loveland, the first of which was published in 1968 in the Journal of the ACM. Their primary purpose is to carry out automated theorem proving, though they ca ...
References
External links
Publication list
at DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...
20th-century American mathematicians
21st-century American mathematicians
1934 births
Living people
Oberlin College alumni
Massachusetts Institute of Technology alumni
New York University alumni
Duke University faculty
American computer scientists
Artificial intelligence researchers
Fellows of the Association for the Advancement of Artificial Intelligence
2000 Fellows of the Association for Computing Machinery
{{US-mathematician-stub