A logic programming approach to knowledge-state planning, II: The system

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

Principles of database and knowledge-base systems

Choice Reviews Online · 1989 · 2.7K citations

Computing, Computer Science, Information Systems +16

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

Fast planning through planning graph analysis

Avrim Blum, Merrick L. Furst · Artificial Intelligence · 1997 · 1.6K citations

Computing, Autonomous Systems, Path Planning +5

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations

Computing, Computer Science, Knowledge Representation +5