Non-monotonic logic I

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

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

Patrick Henry Winston · Pattern Recognition · 1976 · 2.6K citations

Computing, Computer Science, Psychology +12

Logic, Methodology and Philosophy of Science.

Max Black, Ernest Nagel, Patrick Suppes et al. · The Philosophical Review · 1963 · 2K citations

Humanities, Philosophy, Epistemology +9

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations · Full text

Computing, Computer Science, Fault-tolerant Systems +5