Let's plan it deductively!

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

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

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

Artificial Intelligence: A Modern Approach

Antoni Ligęza · Neurocomputing · 1995 · 1.9K citations

Computing, Computer Science, Artificial Intelligence +13