A functional approach to non‐monotonic logic1

A logic for default reasoning

1980 • 3,992 citations

A Useful Four-Valued Logic

1977 • 1,426 citations

Denotational semantics: The scott-strachey approach to programming language theory

1983 • 1,264 citations

Non-monotonic logic I

1980 • 903 citations

Outline of a Mathematical Theory of Computation

1970 • 653 citations

Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.

1984 • 34 citations

WATSON: A Dependency Directed Inference System.

1984 • 12 citations