Cumulative inference relations for JTMS and logic programming

A logic for default reasoning

1980 • 3,992 citations

The stable model semantics for logic programming

1988 • 3,564 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

A truth maintenance system

1979 • 1,816 citations

Nonmonotonic reasoning, preferential models and cumulative logics

1990 • 1,677 citations

Towards a Theory of Declarative Knowledge

1988 • 1,163 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

Semantical considerations on nonmonotonic logic

1985 • 1,087 citations

General theory of cumulative inference

1989 • 311 citations

Cumulative default logic

1991 • 171 citations

A rational reconstruction of nonmonotonic truth maintenance systems

1990 • 87 citations

On the relation between truth maintenance and autoepistemic logic

1989 • 33 citations

Nonmonotonic Reasoning

1988 • 27 citations