Duke University
Department of Computer Science People (rev. 1.10) |
![]() |
Donald W. Loveland
PROFESSOR EMERITUS OF COMPUTER SCIENCE
Artificial Intelligence
A.B., Oberlin College, 1956 S.M., Massachusetts Institute of Technology, 1958 Ph.D., New York University, 1964
Research Focus: Automated theorem proving, logic programming, knowledge evaluation, expert systems, test-and-treatment problem.
Teaching:
CPS148: Logic and its Applications. Cotaught with Richard Hodel (Math) and Susan Sterrett (Philosophy). (Last taught in spring 2005.)
A professional activity of general CS interest:
- Book: Three Views of Logic: Mathematics, Philosophy, and Computer Science. With coauthors Richard E. Hodel and S. G. Sterrett.
Princeton University Press, 2014, xv+322 pp.
- Author of the report to NSF --- Automated Deduction: Some Achievements and Future Directions.(1997)
General CV: