Making believers out of computers

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

The knowledge level

Allen Newell · Artificial Intelligence · 1982 · 2.5K citations

The intractability of resolution

Armin Haken · Theoretical Computer Science · 1985 · 829 citations

Computing, Computer Science, Mathematics +5

A logic of implicit and explicit belief

Hector J. Levesque · 1984 · 539 citations

Computing, Computer Science, Knowledge Representation +15

Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985

Alan Bundy, Richard Clutterbuck · 1985 · 375 citations

Computing, Computer Science, Artificial Intelligence +6