Hard problems for simple default logics

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

Computing, Computer Science, Mathematics +11

A clash of intuitions: the current state of nonmonotonic multiple inheritance systems

David S. Touretzky, John F. Horty, Richmond H. Thomason · 1987 · 279 citations

Humanities, Mathematics, Knowledge Representation +11

Making believers out of computers

Hector J. Levesque · Artificial Intelligence · 1986 · 232 citations

Computing, Computer Science, Belief Studies +5

Proceedings of the first international conference on Principles of knowledge representation and reasoning

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter · Medical Entomology and Zoology · 1989 · 189 citations

Humanities, Knowledge Management, Knowledge Representation +15