W. W. Bledsoe - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

1993

Set-VarW. W. Bledsoe, Guohui Feng. JAR, 11(3):293-314, 1993.

1991

Interactive Proof PresentationW. W. Bledsoe. BIRTHDAY 1991: 136-165

1990

Challenge Problems in Elementary CalculusW. W. Bledsoe. JAR, 6(3):341-359, 1990.

1987

Hierarchical DeductionTie-Cheng Wang, W. W. Bledsoe. JAR, 3(1):35-77, 1987.

1986

I Had a Dream: AAAI Presidential Address, August 1985W. W. Bledsoe. aim, 7(1):57-61, 1986.

Some Thoughts on Proof DiscoveryW. W. Bledsoe. SLP 1986: 2-10

1985

Completeness Results for Inequality ProversW. W. Bledsoe, Kenneth Kunen, Robert E. Shostak. ai, 27(3):255-288, 1985.

What Is Automated Theorem Proving?W. W. Bledsoe, Lawrence J. Henschen. JAR, 1(1):23-28, 1985.

1983

Using Examples to Generate Instantiations of Set VariablesW. W. Bledsoe. IJCAI 1983: 892-901

1980

Variable Elimination and Chaining in a Resolution-based Prover for InequalitiesW. W. Bledsoe, Larry M. Hines. cade 1980: 70-87

1979

A Prover for General InequalitiesW. W. Bledsoe, Peter Bruell, Robert E. Shostak. IJCAI 1979: 66-69

1977

Automatic Proofs of Theorems in Analysis Using Nonstandard TechniquesA. Michael Ballantyne, W. W. Bledsoe. JACM, 24(3):353-374, 1977. [doi]

Non-Resolution Theorem ProvingW. W. Bledsoe. ai, 9(1):1-35, 1977.

Set VariablesW. W. Bledsoe. IJCAI 1977: 501-510

1975

A New Mehtod for Proving Certain Presburger FormulesW. W. Bledsoe. IJCAI 1975: 15-21

An Interactive Program Verification SystemDonald I. Good, Ralph L. London, W. W. Bledsoe. TSE, 1(1):59-67, 1975.

An interactive program verification systemDonald I. Good, Ralph L. London, W. W. Bledsoe. relsoft 1975: 482-492 [doi]

1974

A Man-Machine Theorem-Proving SystemW. W. Bledsoe, Peter Bruell. ai, 5(1):51-72, 1974.

1973

A Man-Machine Theorem-Proving SystemW. W. Bledsoe, Peter Bruell. IJCAI 1973: 56-66

1972

Computer Proofs of Limit TheoremsW. W. Bledsoe, Robert S. Boyer, William H. Henneman. ai, 3(1-3):27-60, 1972.

Computer chess championship in BostonW. W. Bledsoe. sigart, 34:7, 1972. [doi]

ErrataW. W. Bledsoe. sigart, 34:1, 1972. [doi]

BooksW. W. Bledsoe. sigart, 34:26, 1972. [doi]

BooksW. W. Bledsoe. sigart, 35:7, 1972. [doi]

1971

1970

A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessRobert Anderson, W. W. Bledsoe. JACM, 17(3):525-534, 1970. [doi]

First U.S. computer chess tournamentW. W. Bledsoe. sigart, 24:10, 1970. [doi]

1966

Some Results on Multicategory Pattern RecognitionW. W. Bledsoe. JACM, 13(2):304-316, 1966. [doi]

1959

Discussion of problems in pattern recognitionW. W. Bledsoe, J. S. Bomba, I. Browning, R. James Evey, Russell A. Kirsch, R. L. Mattson, Marvin Minsky, Ulric Neisser, Oliver G. Selfridge. aieeire 1959: 233-237 [doi]

Pattern recognition and reading by machineW. W. Bledsoe, I. Browning. aieeire 1959: 225-232 [doi]

Sign in or sign up to see more results.

runs on WebDSL