Cumulative default logic: Finite characterization, algorithms, and complexity

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Thomas Eiter, Georg Gottlob · Artificial Intelligence · 1992 · 351 citations

Humanities, Computer Science, Knowledge Representation +10

Complexity Results for Nonmonotonic Logics

Georg Gottlob · Journal of Logic and Computation · 1992 · 349 citations

Computing, Computer Science, Mathematics +15

A Catalog of Complexity Classes.

David S. Johnson · 1990 · 270 citations

Computing, Computer Science, Algorithms +12

Cumulative default logic

Gerhard Brewka · Artificial Intelligence · 1991 · 168 citations