R2

A Machine-Oriented Logic Based on the Resolution Principle

1965 • 3,880 citations

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

1965 • 308 citations

The Concept of Demodulation in Theorem Proving

1967 • 187 citations

Answering English questions by computer

1965 • 179 citations

Natural language question-answering systems: 1969

1970 • 149 citations

SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL

1964 • 123 citations

The unit preference strategy in theorem proving

1964 • 121 citations

A linear format for resolution

1970 • 120 citations

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

1968 • 118 citations

A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness

1970 • 96 citations

Resolution With Merging

1968 • 67 citations

A deductive question-answerer for natural language inference

1970 • 38 citations

A computational model of verbal understanding

1968 • 32 citations

A data structure for cognitive information retrieval

1972 • 3 citations

AN ALGORITHM FOR THE SYNTACTIC ANALYSIS IN THE R2 INFORMATION SYSTEM

1970 • 2 citations