A logic for default reasoning

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

The psychology of computer vision

Azriel Rosenfeld · Artificial Intelligence · 1976 · 3K citations

Computing, Computer Science, Psychology +12

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

An Unsolvable Problem of Elementary Number Theory

Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations

Natural Sciences, Computer Science, Mathematics +11

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7