GENERALITY AND GPS

Some Studies in Machine Learning Using the Game of Checkers

1959 • 3,897 citations

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

Computability and Unsolvability.

1959 • 1,024 citations

Chess-Playing Programs and the Problem of Complexity

1958 • 311 citations

Experiments with a deductive question-answering program

1965 • 68 citations