On the mechanization of abductive logic

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Embodiments of Mind

J. G. Skellam, Warren S. McCulloch · Biometrics · 1966 · 472 citations

Life Sciences, Neuroscience, Philosophy +9

Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub.

W. W. Bledsoe · ACM SIGART Bulletin · 1971 · 362 citations

Computing, Computer Science, Algorithms +6

Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence

Aaron Sloman · Artificial Intelligence · 1971 · 194 citations

Humanities, Computer Science, Philosophy +12

A Unifying View of Some Linear Herbrand Procedures

Donald Loveland · Journal of the ACM · 1972 · 49 citations · Full text

Computing, Computer Science, Information Retrieval +4