An overview of transaction logic

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

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Towards a general theory of action and time

James F. Allen · Artificial Intelligence · 1984 · 2.6K citations

Natural Sciences, Physics, Mathematical Physics +11

The well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations

Computing, Computer Science, Logic +4

Logical foundations of object-oriented and frame-based languages

Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text

Computing, Computer Science, Logic +14