Using slots and modifiers in logic grammars for natural language

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Transition network grammars for natural language analysis

William A. Woods · Communications of the ACM · 1970 · 1.3K citations · Full text

Language Studies, Computer Science, Computational Linguistics +15

Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks

Fernando C. N. Pereira, David H. Warren · Artificial Intelligence · 1980 · 985 citations

Language Studies, Computer Science, Linguistics +11

Algorithm = logic + control

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

Computing, Computer Science, Algorithms +11

A Proof Procedure Using Connection Graphs

Robert Kowalski · Journal of the ACM · 1975 · 255 citations · Full text

Computing, Computer Science, Computer Networks +4