Epistemic Logic for Rule-Based Agents

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

SOAR: An architecture for general intelligence

John E. Laird, Allen Newell, Paul S. Rosenbloom · Artificial Intelligence · 1987 · 2.4K citations

Computing, Computer Science, Information Systems +6

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

Computing, Computer Science, Formal Methods +12

Belief, awareness, and limited reasoning

Ronald Fagin, Joseph Y. Halpern · Artificial Intelligence · 1987 · 892 citations

Social Sciences, Behavioral Sciences, Psychology +10

KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions

P. T. Geach · Philosophical Books · 1963 · 869 citations

Humanities, Philosophy, Epistemology +9