Edit Profile Loveland, Donald W. Compute Distance To: Compute Author ID: loveland.donald-w Published as: Loveland, D.; Loveland, D. W.; Loveland, Donald; Loveland, Donald W. External Links: MGP · Wikidata · GND Documents Indexed: 32 Publications since 1962, including 4 Books all top 5 Co-Authors 16 single-authored 3 Reed, David W. 1 Astrachan, O. L. 1 Bledsoe, Woodrow W. 1 Davis, Martin David 1 Fleisig, S. 1 Hodel, Richard E. 1 Logemann, George 1 Nadathur, Gopalan 1 Reddy, C. Rami 1 Reddy, Ch. Ram 1 Sabharwal, Ashish 1 Selman, Bart 1 Shostak, Robert E. 1 Smiley, A. K. III 1 Sterrett, Susan G. 1 Stickel, Mark E. 1 Valtorta, Marco 1 Wilson, Debra Sue 1 Yahya, Adnan H. 1 Yarmush, D. L. all top 5 Serials 5 Journal of the Association for Computing Machinery 4 Journal of Automated Reasoning 1 Acta Informatica 1 IEEE Transactions on Computers 1 Information and Control 1 Transactions of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Journal of Algorithms 1 The Journal of Logic Programming 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Communications of the ACM 1 Annals of Mathematics and Artificial Intelligence 1 Contemporary Mathematics 1 Lecture Notes in Computer Science 1 Machine Intelligence all top 5 Fields 25 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 27 Publications have been cited 728 times in 623 Documents Cited by ▼ Year ▼ A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 354 1962 Automated theorem proving: A logical basis. Zbl 0364.68082Loveland, Donald W. 142 1978 A variant of the Kolmogorov concept of complexity. Zbl 0188.52101Loveland, D. W. 34 1969 Mechanical theorem-proving by model elimination. Zbl 0162.02804Loveland, D. W. 31 1968 A simplified format for the model elimination theorem-proving procedure. Zbl 0183.29603Loveland, D. W. 27 1969 Presburger arithmetic with bounded quantifier alternation. Zbl 1282.68142Reddy, C. R.; Loveland, D. W. 23 1978 A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601Loveland, D. 15 1966 Near-Horn prolog and beyond. Zbl 0723.68029Loveland, Donald W. 12 1991 SATCHMORE: SATCHMO with RElevancy. Zbl 0939.68824Loveland, Donald W.; Reed, David W.; Wilson, Debra S. 11 1995 Automated theorem proving: after 25 years. (Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5-9, 1983). Zbl 0545.00023Bledsoe, W. W. (ed.); Loveland, D. W. (ed.) 11 1984 A linear format for resolution. Zbl 0202.01501Loveland, D. W. 10 1970 An implementation of the model elimination proof procedure. Zbl 0283.68057Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L. 8 1974 Automated theorem-proving: A quarter-century review. Zbl 0553.68050Loveland, Donald W. 7 1984 The use of lemmas in the model elimination procedure. Zbl 0882.68132Astrachan, O. L.; Loveland, D. W. 6 1997 A unifying view of some linear Herbrand procedures. Zbl 0243.68012Loveland, D. W. 6 1972 A comparison of three PROLOG extensions. Zbl 0754.68034Reed, David W.; Loveland, Donald W. 5 1992 On minimal-program complexity measures. Zbl 1282.68146Loveland, D. W. 5 1969 Near-Horn Prolog and the ancestry family of procedures. Zbl 0855.68014Reed, David W.; Loveland, Donald W. 3 1995 Deleting repeated goals in the problem reduction format. Zbl 0468.68096Loveland, D. W.; Reddy, C. R. 3 1981 A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055Loveland, Donald W.; Stickel, Mark E. 3 1976 The Kleene hierarchy classification of recursively random sequences. Zbl 0189.01101Loveland, D. W. 3 1966 On the complexity of belief network synthesis and refinement. Zbl 0769.68114Valtorta, Marco; Loveland, Donald W. 2 1992 Simplifying interpreted formulas. Zbl 0438.68054Loveland, D. W.; Shostak, R. E. 2 1980 Theorem-provers combining model elimination and resolution. Zbl 0257.68083Loveland, D. W. 2 1969 Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G. 1 2014 SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546Loveland, Donald W.; Yahya, Adnan H. 1 2003 Proof procedures for logic programming. Zbl 0900.68139Loveland, D. W.; Nadathur, G. 1 1998 Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G. 1 2014 SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546Loveland, Donald W.; Yahya, Adnan H. 1 2003 Proof procedures for logic programming. Zbl 0900.68139Loveland, D. W.; Nadathur, G. 1 1998 The use of lemmas in the model elimination procedure. Zbl 0882.68132Astrachan, O. L.; Loveland, D. W. 6 1997 SATCHMORE: SATCHMO with RElevancy. Zbl 0939.68824Loveland, Donald W.; Reed, David W.; Wilson, Debra S. 11 1995 Near-Horn Prolog and the ancestry family of procedures. Zbl 0855.68014Reed, David W.; Loveland, Donald W. 3 1995 A comparison of three PROLOG extensions. Zbl 0754.68034Reed, David W.; Loveland, Donald W. 5 1992 On the complexity of belief network synthesis and refinement. Zbl 0769.68114Valtorta, Marco; Loveland, Donald W. 2 1992 Near-Horn prolog and beyond. Zbl 0723.68029Loveland, Donald W. 12 1991 Automated theorem proving: after 25 years. (Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society Held in Denver, Colorado, January 5-9, 1983). Zbl 0545.00023Bledsoe, W. W. (ed.); Loveland, D. W. (ed.) 11 1984 Automated theorem-proving: A quarter-century review. Zbl 0553.68050Loveland, Donald W. 7 1984 Deleting repeated goals in the problem reduction format. Zbl 0468.68096Loveland, D. W.; Reddy, C. R. 3 1981 Simplifying interpreted formulas. Zbl 0438.68054Loveland, D. W.; Shostak, R. E. 2 1980 Automated theorem proving: A logical basis. Zbl 0364.68082Loveland, Donald W. 142 1978 Presburger arithmetic with bounded quantifier alternation. Zbl 1282.68142Reddy, C. R.; Loveland, D. W. 23 1978 A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055Loveland, Donald W.; Stickel, Mark E. 3 1976 An implementation of the model elimination proof procedure. Zbl 0283.68057Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L. 8 1974 A unifying view of some linear Herbrand procedures. Zbl 0243.68012Loveland, D. W. 6 1972 A linear format for resolution. Zbl 0202.01501Loveland, D. W. 10 1970 A variant of the Kolmogorov concept of complexity. Zbl 0188.52101Loveland, D. W. 34 1969 A simplified format for the model elimination theorem-proving procedure. Zbl 0183.29603Loveland, D. W. 27 1969 On minimal-program complexity measures. Zbl 1282.68146Loveland, D. W. 5 1969 Theorem-provers combining model elimination and resolution. Zbl 0257.68083Loveland, D. W. 2 1969 Mechanical theorem-proving by model elimination. Zbl 0162.02804Loveland, D. W. 31 1968 A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601Loveland, D. 15 1966 The Kleene hierarchy classification of recursively random sequences. Zbl 0189.01101Loveland, D. W. 3 1966 A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 354 1962 all cited Publications top 5 cited Publications all top 5 Cited by 935 Authors 13 Plaisted, David Alan 9 Bonacina, Maria Paola 9 Giunchiglia, Enrico 8 Van Gelder, Allen 7 Lierler, Yuliya 7 Marques-Silva, João P. 6 Baumgartner, Peter 6 Lauria, Massimo 6 Loveland, Donald W. 6 Lynch, Christopher A. 6 Manyà, Felip 6 Peltier, Nicolas 6 Schaub, Torsten H. 6 Stickel, Mark E. 6 Szeider, Stefan 5 Eggers, Andreas 5 Fränzle, Martin 5 Goldberg, Eugene L. 5 Li, Chumin 5 Maratea, Marco 5 Nieuwenhuis, Robert 5 Stuckey, Peter James 5 Weidenbach, Christoph 4 Ábrahám, Erika 4 Becker, Bernd 4 Bruni, Renato 4 de Moura, Leonardo 4 Downey, Rodney Graham 4 Duan, Zhenhua 4 Furbach, Ulrich 4 Gomes, Carla P. 4 Hirsch, Edward A. 4 Hooker, John N. jun. 4 Itsykson, Dmitry M. 4 Lutz, Jack H. 4 Lynce, Inês 4 Nies, André Otfrid 4 Omodeo, Eugenio Giovanni 4 Sabharwal, Ashish 4 Selman, Bart 4 Siekmann, Jörg H. 4 Tacchella, Armando 4 Teige, Tino 4 Tinelli, Cesare 4 Voronkov, Andrei 4 Zhang, Hantao 4 Zhang, Nan 3 Ammon, Kurt 3 Armando, Alessandro 3 Beame, Paul W. 3 Beyersdorff, Olaf 3 Bibel, Wolfgang 3 Biere, Armin 3 Blanchette, Jasmin Christian 3 Bledsoe, Woodrow W. 3 Brüning, Stefan 3 Cimatti, Alessandro 3 Degtyarev, Anatoli Ivanovich 3 Dubois, Olivier 3 Fleury, Mathias 3 Gebser, Martin 3 Grädel, Erich 3 Griggio, Alberto 3 Hähnle, Reiner 3 Hernando, Antonio 3 Inoue, Katsumi 3 Johannsen, Jan 3 Kaufmann, Benjamin 3 Kullmann, Oliver 3 Kupferschmid, Stefan 3 Letz, Reinhold 3 Marquis, Pierre 3 Mathieu, Philippe 3 Merkle, Wolfgang 3 Nie, Xumin 3 Niemelä, Ilkka N. F. 3 Nordström, Jakob 3 Ohlbach, Hans Jürgen 3 Oliveras, Albert 3 Roussel, Olivier 3 Schnorr, Claus Peter 3 Semenov, Aleksandr Anatol’evich 3 Silva Coelho, José 3 Slivovsky, Friedrich 3 Sturm, Thomas P. 3 van Maaren, Hans 3 Vanhoucke, Mario 3 Vardi, Moshe Y. 2 Achlioptas, Dimitris 2 Alekhnovich, Michael 2 Amjad, Hasan 2 Asín, Roberto 2 Banbara, Mutsunori 2 Barmpalias, George 2 Benioff, Paul A. 2 Boufkhad, Yacine 2 Brain, Martin 2 Bremner, David 2 Bryant, Randal E. 2 Buchberger, Bruno ...and 835 more Authors all top 5 Cited in 100 Serials 68 Artificial Intelligence 64 Journal of Automated Reasoning 49 Theoretical Computer Science 31 Discrete Applied Mathematics 30 Annals of Mathematics and Artificial Intelligence 24 Journal of Symbolic Computation 18 Information and Computation 17 Information Processing Letters 12 Constraints 11 Journal of Computer and System Sciences 10 Information Sciences 10 Annals of Pure and Applied Logic 9 Theory and Practice of Logic Programming 8 Journal of Computer Science and Technology 7 Formal Methods in System Design 5 International Journal of Approximate Reasoning 5 Journal of Applied Non-Classical Logics 4 The Journal of Symbolic Logic 4 Computers & Operations Research 4 Annals of Operations Research 4 European Journal of Operational Research 4 Journal of Applied Mathematics 3 Fuzzy Sets and Systems 3 Mathematical Systems Theory 3 SIAM Journal on Computing 3 Operations Research Letters 3 New Generation Computing 3 Formal Aspects of Computing 3 The Bulletin of Symbolic Logic 2 International Journal of General Systems 2 Journal of Mathematical Physics 2 Transactions of the American Mathematical Society 2 Science of Computer Programming 2 Journal of Complexity 2 Algorithmica 2 International Journal of Parallel Programming 2 Mathematical and Computer Modelling 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Journal of Mathematical Sciences (New York) 2 Theory of Computing Systems 2 Journal of Scheduling 2 International Journal of Applied Mathematics and Computer Science 2 Journal of Statistical Mechanics: Theory and Experiment 2 Discrete Optimization 2 Prikladnaya Diskretnaya Matematika 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Communications on Pure and Applied Mathematics 1 Discrete Mathematics 1 Journal of the Franklin Institute 1 Mathematical Notes 1 Advances in Mathematics 1 Computing 1 Journal of Soviet Mathematics 1 Proceedings of the American Mathematical Society 1 Programming and Computer Software 1 Semigroup Forum 1 Synthese 1 European Journal of Combinatorics 1 Statistics & Probability Letters 1 Combinatorica 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Machine Learning 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Designs, Codes and Cryptography 1 Applied Intelligence 1 Communications in Statistics. Theory and Methods 1 International Journal of Computer Mathematics 1 Pattern Recognition 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Complexity 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 Journal of the Egyptian Mathematical Society 1 International Transactions in Operational Research 1 Journal of Heuristics 1 Mathematical Problems in Engineering 1 Abstract and Applied Analysis 1 Soft Computing 1 Journal of Combinatorial Optimization 1 New Journal of Physics 1 Communications in Nonlinear Science and Numerical Simulation 1 RAIRO. Theoretical Informatics and Applications 1 Methodology and Computing in Applied Probability 1 The Journal of Logic and Algebraic Programming 1 Natural Computing 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 ACM Transactions on Computational Logic 1 4OR 1 Journal of Discrete Algorithms 1 Journal of Applied Logic 1 1 Electronic Notes in Theoretical Computer Science 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Physical Review A, Third Series 1 Central European Journal of Computer Science 1 Journal of Theoretical Biology all top 5 Cited in 27 Fields 539 Computer science (68-XX) 185 Mathematical logic and foundations (03-XX) 49 Operations research, mathematical programming (90-XX) 17 Combinatorics (05-XX) 11 Information and communication theory, circuits (94-XX) 9 Numerical analysis (65-XX) 6 Statistics (62-XX) 5 History and biography (01-XX) 5 Number theory (11-XX) 5 Ordinary differential equations (34-XX) 4 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Quantum theory (81-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Field theory and polynomials (12-XX) 2 Geometry (51-XX) 2 Convex and discrete geometry (52-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.