×

zbMATH — the first resource for mathematics

Loveland, Donald W.

Compute Distance To:
Author ID: loveland.donald-w Recent zbMATH articles by "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

Publications by Year

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.54002
Davis, M.; Logemann, G.; Loveland, D.
354
1962
Automated theorem proving: A logical basis. Zbl 0364.68082
Loveland, Donald W.
142
1978
A variant of the Kolmogorov concept of complexity. Zbl 0188.52101
Loveland, D. W.
34
1969
Mechanical theorem-proving by model elimination. Zbl 0162.02804
Loveland, D. W.
31
1968
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.
23
1978
A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601
Loveland, D.
15
1966
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
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
Bledsoe, W. W. (ed.); Loveland, D. W. (ed.)
11
1984
A linear format for resolution. Zbl 0202.01501
Loveland, D. W.
10
1970
An implementation of the model elimination proof procedure. Zbl 0283.68057
Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L.
8
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.
6
1972
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
Near-Horn Prolog and the ancestry family of procedures. Zbl 0855.68014
Reed, David W.; Loveland, Donald W.
3
1995
Deleting repeated goals in the problem reduction format. Zbl 0468.68096
Loveland, D. W.; Reddy, C. R.
3
1981
A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055
Loveland, Donald W.; Stickel, Mark E.
3
1976
The Kleene hierarchy classification of recursively random sequences. Zbl 0189.01101
Loveland, D. W.
3
1966
On the complexity of belief network synthesis and refinement. Zbl 0769.68114
Valtorta, Marco; Loveland, Donald W.
2
1992
Simplifying interpreted formulas. Zbl 0438.68054
Loveland, D. W.; Shostak, R. E.
2
1980
Theorem-provers combining model elimination and resolution. Zbl 0257.68083
Loveland, D. W.
2
1969
Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001
Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
1
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
Three views of logic. Mathematics, philosophy, and computer science. Zbl 1291.03001
Loveland, Donald W.; Hodel, Richard E.; Sterrett, S. G.
1
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.
2
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
Bledsoe, W. W. (ed.); Loveland, D. W. (ed.)
11
1984
Automated theorem-proving: A quarter-century review. Zbl 0553.68050
Loveland, Donald W.
7
1984
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.
142
1978
Presburger arithmetic with bounded quantifier alternation. Zbl 1282.68142
Reddy, C. R.; Loveland, D. W.
23
1978
A hole in goal trees: Some guidance from resolution theory. Zbl 0324.68055
Loveland, Donald W.; Stickel, Mark E.
3
1976
An implementation of the model elimination proof procedure. Zbl 0283.68057
Fleisig, S.; Loveland, D.; Smiley, A. K. III; Yarmush, D. L.
8
1974
A unifying view of some linear Herbrand procedures. Zbl 0243.68012
Loveland, D. W.
6
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.
31
1968
A new interpretation of the Mises’ concept of random sequence. Zbl 0158.00601
Loveland, D.
15
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.
354
1962
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

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.