Ramification and causality

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

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

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 1993 · 516 citations

Computing, Computer Science, Formal Methods +10