×

Loveland, Donald W.

Compute Distance To:
Author ID: loveland.donald-w Recent zbMATH articles by "Loveland, Donald W."
Published as: Loveland, D. W.; Loveland, Donald W.; Loveland, D.; Loveland, Donald
External Links: MGP · Wikidata · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 743 times in 626 Documents Cited by Year
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
384
1962
Automated theorem proving: A logical basis. Zbl 0364.68082
Loveland, Donald W.
122
1978
Mechanical theorem-proving by model elimination. Zbl 0162.02804
Loveland, D. W.
35
1968
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
34
1969
A simplified format for the model elimination theorem-proving procedure. Zbl 0183.29603
Loveland, D. W.
27
1969
Presburger arithmetic with bounded quantifier alternation. Zbl 1282.68142
Reddy, C. R.; Loveland, D. W.
25
1978
A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601
Loveland, D.
18
1966
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
Near-Horn prolog and beyond. Zbl 0723.68029
Loveland, Donald W.
12
1991
SATCHMORE: SATCHMO with RElevancy. Zbl 0939.68824
Loveland, Donald W.; Reed, David W.; Wilson, Debra S.
11
1995
A linear format for resolution. Zbl 0202.01501
Loveland, D. W.
10
1970
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.00023
9
1984
An implementation of the model elimination proof procedure. Zbl 0283.68057
Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L.
7
1974
Automated theorem-proving: A quarter-century review. Zbl 0553.68050
Loveland, Donald W.
7
1984
The use of lemmas in the model elimination procedure. Zbl 0882.68132
Astrachan, O. L.; Loveland, D. W.
6
1997
A unifying view of some linear Herbrand procedures. Zbl 0243.68012
Loveland, D. W.
5
1972
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
A comparison of three PROLOG extensions. Zbl 0754.68034
Reed, David W.; Loveland, Donald W.
5
1992
On minimal-program complexity measures. Zbl 1282.68146
Loveland, D. W.
5
1969
The Kleene hierarchy classification of recursively random sequences. Zbl 0189.01101
Loveland, D. W.
3
1966
Deleting repeated goals in the problem reduction format. Zbl 0468.68096
Loveland, D. W.; Reddy, C. R.
3
1981
Near-Horn Prolog and the ancestry family of procedures. Zbl 0855.68014
Reed, David W.; Loveland, Donald W.
3
1995
Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001
Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
3
2014
Theorem-provers combining model elimination and resolution. Zbl 0257.68083
Loveland, D. W.
2
1969
Simplifying interpreted formulas. Zbl 0438.68054
Loveland, D. W.; Shostak, R. E.
2
1980
A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055
Loveland, Donald W.; Stickel, Mark E.
2
1976
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546
Loveland, Donald W.; Yahya, Adnan H.
1
2003
Proof procedures for logic programming. Zbl 0900.68139
Loveland, D. W.; Nadathur, G.
1
1998
On the complexity of belief network synthesis and refinement. Zbl 0769.68114
Valtorta, Marco; Loveland, Donald W.
1
1992
Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001
Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
3
2014
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546
Loveland, Donald W.; Yahya, Adnan H.
1
2003
Proof procedures for logic programming. Zbl 0900.68139
Loveland, D. W.; Nadathur, G.
1
1998
The use of lemmas in the model elimination procedure. Zbl 0882.68132
Astrachan, O. L.; Loveland, D. W.
6
1997
SATCHMORE: SATCHMO with RElevancy. Zbl 0939.68824
Loveland, Donald W.; Reed, David W.; Wilson, Debra S.
11
1995
Near-Horn Prolog and the ancestry family of procedures. Zbl 0855.68014
Reed, David W.; Loveland, Donald W.
3
1995
A comparison of three PROLOG extensions. Zbl 0754.68034
Reed, David W.; Loveland, Donald W.
5
1992
On the complexity of belief network synthesis and refinement. Zbl 0769.68114
Valtorta, Marco; Loveland, Donald W.
1
1992
Near-Horn prolog and beyond. Zbl 0723.68029
Loveland, 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.00023
9
1984
Automated theorem-proving: A quarter-century review. Zbl 0553.68050
Loveland, Donald W.
7
1984
Automation of reasoning. 2: Classical papers on computational logic 1967- 1970. Zbl 0567.03002
16
1983
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
Deleting repeated goals in the problem reduction format. Zbl 0468.68096
Loveland, D. W.; Reddy, C. R.
3
1981
Simplifying interpreted formulas. Zbl 0438.68054
Loveland, D. W.; Shostak, R. E.
2
1980
Automated theorem proving: A logical basis. Zbl 0364.68082
Loveland, Donald W.
122
1978
Presburger arithmetic with bounded quantifier alternation. Zbl 1282.68142
Reddy, C. R.; Loveland, D. W.
25
1978
A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055
Loveland, Donald W.; Stickel, Mark E.
2
1976
An implementation of the model elimination proof procedure. Zbl 0283.68057
Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L.
7
1974
A unifying view of some linear Herbrand procedures. Zbl 0243.68012
Loveland, D. W.
5
1972
A linear format for resolution. Zbl 0202.01501
Loveland, D. W.
10
1970
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
34
1969
A simplified format for the model elimination theorem-proving procedure. Zbl 0183.29603
Loveland, D. W.
27
1969
On minimal-program complexity measures. Zbl 1282.68146
Loveland, D. W.
5
1969
Theorem-provers combining model elimination and resolution. Zbl 0257.68083
Loveland, D. W.
2
1969
Mechanical theorem-proving by model elimination. Zbl 0162.02804
Loveland, D. W.
35
1968
A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601
Loveland, D.
18
1966
The Kleene hierarchy classification of recursively random sequences. Zbl 0189.01101
Loveland, D. W.
3
1966
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
384
1962
all top 5

Cited by 927 Authors

11 Plaisted, David Alan
9 Bonacina, Maria Paola
9 Giunchiglia, Enrico
8 Van Gelder, Allen
7 Li, Chumin
7 Lierler, Yuliya
7 Marques-Silva, João P.
7 Stickel, Mark E.
6 Loveland, Donald W.
6 Peltier, Nicolas
6 Schaub, Torsten H.
6 Szeider, Stefan
5 Baumgartner, Peter
5 Eggers, Andreas
5 Fränzle, Martin
5 Goldberg, Eugene L.
5 Itsykson, Dmitry M.
5 Manyà, Felip
5 Maratea, Marco
5 Nieuwenhuis, Robert
5 Stuckey, Peter James
5 Weidenbach, Christoph
4 Ábrahám, Erika
4 Beame, Paul W.
4 Becker, Bernd
4 Bibel, Wolfgang
4 Bruni, Renato
4 de Moura, Leonardo
4 Dequen, Gilles
4 Downey, Rodney Graham
4 Duan, Zhenhua
4 Furbach, Ulrich
4 Gomes, Carla P.
4 Hirsch, Edward A.
4 Hooker, John N. jun.
4 Inoue, Katsumi
4 Kullmann, Oliver
4 Lutz, Jack H.
4 Lynce, Inês
4 Nies, André Otfrid
4 Nordström, Jakob
4 Omodeo, Eugenio Giovanni
4 Pitassi, Toniann
4 Sabharwal, Ashish
4 Selman, Bart
4 Tacchella, Armando
4 Teige, Tino
4 Vardi, Moshe Ya’akov
4 Voronkov, Andrei
4 Zhang, Nan
3 Ammon, Kurt
3 Armando, Alessandro
3 Biere, Armin
3 Blanchette, Jasmin Christian
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 Hernando, Antonio
3 Impagliazzo, Russell
3 Johannsen, Jan
3 Kaufmann, Benjamin
3 Kupferschmid, Stefan
3 Lauria, Massimo
3 Letz, Reinhold
3 Lynch, Christopher A.
3 Marić, Filip
3 Marquis, Pierre
3 Mathieu, Philippe
3 Merkle, Wolfgang
3 Nie, Xumin
3 Niemelä, Ilkka N. F.
3 Ohlbach, Hans Jürgen
3 Oliveras, Albert
3 Otten, Jens
3 Roussel, Olivier
3 Schnorr, Claus Peter
3 Semenov, Aleksandr Anatol’evich
3 Silva Coelho, José
3 Slivovsky, Friedrich
3 Stephan, Frank
3 Sturm, Thomas
3 Tinelli, Cesare
3 van Maaren, Hans
3 Vanhoucke, Mario
3 Zaikin, Oleg Sergeevich
3 Zhang, Hantao
2 Achlioptas, Dimitris
2 Alekhnovich, Michael
2 Amjad, Hasan
2 Asín, Roberto
2 Banbara, Mutsunori
2 Banković, Milan
2 Barmpalias, George
2 Benioff, Paul A.
2 Beyersdorff, Olaf
...and 827 more Authors
all top 5

Cited in 101 Serials

66 Journal of Automated Reasoning
61 Artificial Intelligence
48 Theoretical Computer Science
31 Discrete Applied Mathematics
30 Annals of Mathematics and Artificial Intelligence
17 Journal of Symbolic Computation
17 Information and Computation
13 Information Processing Letters
13 Constraints
11 Information Sciences
11 Journal of Computer and System Sciences
11 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 SIAM Journal on Computing
5 European Journal of Operational Research
5 Journal of Applied Non-Classical Logics
4 The Journal of Symbolic Logic
4 Computers & Operations Research
4 International Journal of Approximate Reasoning
4 Annals of Operations Research
4 Journal of Applied Mathematics
3 Fuzzy Sets and Systems
3 Mathematical Systems Theory
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 Computational Complexity
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 4OR
2 Discrete Optimization
2 Logical Methods in Computer Science
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 Computational Geometry
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 Archive for Mathematical Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Journal of the Egyptian Mathematical Society
1 The Electronic Journal of Combinatorics
1 International Transactions in Operational Research
1 Journal of Heuristics
1 Mathematical Problems in Engineering
1 Optimization Methods & Software
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 Journal of Discrete Algorithms
1 Journal of Applied Logic
1
1 Mathematics in Computer Science
1 Physical Review A, Third Series
1 Central European Journal of Computer Science
...and 1 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.