A more expressive formulation of many sorted logic

Understanding natural language

Terry Winograd · Cognitive Psychology · 1972 · 2.8K citations

A temporal logic for reasoning about processes and plans

Drew McDermott · Cognitive Science · 1982 · 760 citations · Full text

Computing, Computer Science, Artificial Intelligence +14

Algorithm = logic + control

Robert Kowalski · Communications of the ACM · 1979 · 602 citations · Full text

Computing, Computer Science, Algorithms +11

Automated deduction by theory resolution

M.E. Stickel · Journal of Automated Reasoning · 1985 · 280 citations

Computing, Computer Science, Formal Methods +11

A polymorphic type system for prolog

Alan Mycroft, Richard O’Keefe · Artificial Intelligence · 1984 · 262 citations

Computing, Computer Science, Formal Methods +11