Logical Theories for Agent Introspection

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Outline of a Theory of Truth

Saul A. Kripke · The Journal of Philosophy · 1975 · 1.6K citations

Humanities, Philosophy, Epistemology +9

Negation in logic programming

Kenneth Kunen · The Journal of Logic Programming · 1987 · 443 citations

Computing, Computer Science, Artificial Intelligence +7

Logic programming and knowledge representation

Chitta Baral, Michael Gelfond · The Journal of Logic Programming · 1994 · 438 citations

Computing, Computer Science, Knowledge Representation +12

The Liar: An Essay on Truth and Circularity.

Vann McGee, Jon Barwise, John Etchemendy · The Philosophical Review · 1991 · 433 citations

Humanities, Philosophy, Knowledge Representation +8