Semantics and complexity of recursive aggregates in answer set programming

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

The psychology of computer vision

Patrick Henry Winston · Pattern Recognition · 1976 · 2.6K citations

Computing, Computer Science, Psychology +12

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99

Simon Colton, Alan Bundy, Toby Walsh · 1999 · 2.5K citations

Computing, Computer Engineering, Computer Science +12

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Computing, Computer Science, Computer Systems +11