Donald Loveland - Concepedia

Author

Donald Loveland

Also Known As

D W Loveland, D. Loveland, D. W. Loveland, D.W. Loveland, DONALD W. LOVELAND, Darin Loveland, Donald Loveland, Donald W. Loveland, Donald. W. Loveland, Loveland, Donald

120

Publications

Citations

H-Index

Concepts

All Affiliations

Duke University Lawrence Livermore National Laboratory Carnegie Mellon University Korea Astronomy and Space Science Institute California Polytechnic State University

About

Donald Loveland is an author at Duke University specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	19	4K
2	Language Studies	2	2	43
3	Business	1	1	12
4	Education	1	1	71
5	Natural Sciences	1	1	71

Donald Loveland

Publications

4.5K

Citations

H-Index

Page 1

	Year	Citations
A machine program for theorem-proving Martin Davis, George Logemann, Donald Loveland Communications of the ACM Mathematical ProgrammingEngineeringVerificationAutomated ProofSoftware Analysis	1962	3.1K
Mechanical Theorem-Proving by Model Elimination Donald Loveland Journal of the ACM EngineeringVerificationAutomated ProofModel EliminationProof Procedure	1968	193
A Simplified Format for the Model Elimination Theorem-Proving Procedure Donald Loveland Journal of the ACM Mathematical ProgrammingEngineeringData ScienceAcmvolume 16IssueAutomated Reasoning	1969	146
A New Interpretation of the von Mises' Concept of Random Sequence Donald Loveland Mathematical logic quarterly Von MisesDiscrete ProbabilityNew InterpretationPseudo-random SequenceProbability Theory	1966	81
Presburger arithmetic with bounded quantifier alternation Cattamanchi Ramalinga Reddy, Donald Loveland Mathematical ProgrammingComputational Complexity TheoryEngineeringVerificationAutomated Proof	1978	75
Generative Counterfactual Introspection for Explainable Deep Learning Shusen Liu, Bhavya Kailkhura, Donald Loveland, Artificial IntelligenceEngineeringMachine LearningIntrospection ApproachIntrospection Technique	2019	74
Empirical explorations of the geometry theorem machine H. Gelernter, Josie Hansen, Donald Loveland GeometryEducationIbm 704Mathematics EducationHigh School Textbooks	1960	71
Predicting Energetics Materials’ Crystalline Density from Chemical Structure by Machine Learning Phan Nguyen, Donald Loveland, Joanne T. Kim, Journal of Chemical Information and Modeling	2021	70
The Lick AGN Monitoring Project 2016: Velocity-resolved Hβ Lags in Luminous Seyfert Galaxies U Vivian, Aaron J. Barth, Heiko Vogler, The Astrophysical Journal	2022	58
A Unifying View of Some Linear Herbrand Procedures Donald Loveland Journal of the ACM	1972	49

Page 1