Guaranteeing serializable results in synchronous parallel production systems

Rete: A fast algorithm for the many pattern/many object pattern match problem

Charles L. Forgy · Artificial Intelligence · 1982 · 2.6K citations

Computing, Computer Science, Algorithms +9

The psychology of computer vision

Patrick Henry Winston · Pattern Recognition · 1976 · 2.6K citations

Computing, Computer Science, Psychology +12

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

MULTILISP: a language for concurrent symbolic computation

Robert H. Halstead · ACM Transactions on Programming Languages and Systems · 1985 · 1.1K citations · Full text

Computing, Computer Science, Compilers +16

R1: A rule-based configurer of computer systems

John McDermott · Artificial Intelligence · 1982 · 943 citations

Computing, Computer Science, Computer Systems +12