PLANNER: a language for proving theorems in robots

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Report on a general problem-solving program.

1959 • 456 citations

The use of theorem-proving techniques in question-answering systems

1968 • 118 citations

Experiments with a deductive question-answering program

1965 • 68 citations

PLANNER: A Language for Proving Theorems

1967 • 12 citations