Woody Bledsoe | Academic Influence

Woody Bledsoe's AcademicInfluence.com Rankings

Woody Bledsoe

Computer Science

#2240

World Rank

#2333

Historical Rank

#1007

USA Rank

Numerical Analysis

#60

World Rank

#64

Historical Rank

#20

USA Rank

Artificial Intelligence

#751

World Rank

#763

Historical Rank

#175

USA Rank

Machine Learning

#893

World Rank

#905

Historical Rank

#88

USA Rank

computer-science Degrees

Woody Bledsoe

Mathematics

#3480

World Rank

#5126

Historical Rank

#1289

USA Rank

Measure Theory

#1053

World Rank

#1355

Historical Rank

#387

USA Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Woody Bledsoe's Degrees

PhD Mathematics University of Pennsylvania
Masters Mathematics University of Pennsylvania
Bachelors Mathematics University of Pennsylvania

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Woody Bledsoe Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Woodrow Wilson "Woody" Bledsoe was an American mathematician, computer scientist, and prominent educator. He is one of the founders of artificial intelligence , making early contributions in pattern recognition, facial recognition, and automated theorem proving. He continued to make significant contributions to AI throughout his long career.

(See a Problem?)

Woody Bledsoe's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. (1971) (357)
What Is Automated Theorem Proving? (1985) (262)
Non-Resolution Theorem Proving (1977) (243)
Splitting and Reduction Heuristics in Automatic Theorem Proving (1971) (117)
Automated Reasoning: Essays in Honor of Woody Bledsoe (1991) (116)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness (1970) (106)
An interactive program verification system (1975) (102)
Automated Theorem Proving: After 25 Years (1984) (99)
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities (1980) (91)
A Man-Machine Theorem-Proving System (1973) (90)
Computer Proofs of Limit Theorems (1971) (89)
A new method for proving certain Presburger formulas (1975) (67)
Completeness Results for Inequality Provers (1985) (37)
Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques (1977) (35)
Challenge problems in elementary calculus (1990) (27)
Using Examples to Generate Instantiations of Set Variables (1983) (26)
Checking number theory proofs in natural language (1990) (25)
Sets generated by rectangles. (1974) (23)
I had a dream: AAAI presidential address (1986) (22)
Mössbauer Effect of 129I in Pyridine Complexes of Iodine Monohalides (1969) (20)
Hierarchical deduction (1987) (18)
A precondition prover for analogy. (1995) (16)
SET-VAR (1993) (14)
An overview of automated reasoning and related fields (2004) (9)
A Prover for General Inequalities (1979) (9)
AUTOMATIC THEOREM PROOF-CHECKING IN SET THEORY. A Preliminary Report. (1967) (9)
I Had a Dream: AAAI Presidential Address, August 1985 (1986) (8)
Set Variables (1977) (7)
A Survey of Automated Deduction11This is an enlarged version of a survey talk given by Woody Bledsoe at the Sixth National Conference on Artificial Intelligence, Seattle, Washington, July 16, 1987. (1988) (6)
Had a Dream : AAAI Presidential Address , 19 August 1985 (2001) (4)
First U.S. computer chess tournament (1970) (1)
Decision Support Systems: A Preliminary Study (1977) (0)
Computer chess championship in Boston (1972) (0)
PROGRAM FOR USING A SHEAR FALLOUT MODEL TO RAPIDLY COMPUTE FALLOUT FROM A THERMONUCLEAR BURST (1960) (0)
4.4 Preserving Negation (1993) (0)
Non-resolution Theorem Proving11This is an edited version of an invited lecture at the 4th International Joint Conference on Artificial Intelligence, held in Tbilisi, Georgia, U.S.S.R., September 1975. (1981) (0)
A New Mehtod for Proving Certain Presburger Formules (1975) (0)
Results of second annual computer chess championship (1971) (0)
Review of "Un Programme de Démonstration de Théorèms (A Theorem Proving Program) by Jaques Pitrat", 1970. (1971) (0)

This paper list is powered by the following services:

Other Resources About Woody Bledsoe

en.wikipedia.org

What Schools Are Affiliated With Woody Bledsoe?

Woody Bledsoe is affiliated with the following schools:

Image Attributions

Image Source for Woody Bledsoe