Constructing Situations and Time

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

Situations and Attitudes

Jon Barwise, John Perry · The Journal of Philosophy · 1981 · 2.4K citations

Humanities, Linguistics, Philosophy +5

Elements of Symbolic Logic.

J. C. C. McKinsey, Hans Reichenbach · American Mathematical Monthly · 1948 · 2.3K citations

Humanities, Computer Science, Formal Methods +11

Elements of Symbolic Logic.

Nelson Goodman, Hans Reichenbach · The Philosophical Review · 1948 · 1.1K citations

Humanities, Computer Science, Formal Methods +11