Automated refinement of first-order horn-clause domain theories

A model of inexact reasoning in medicine

Edward H. Shortliffe, Bruce G. Buchanan · Mathematical Biosciences · 1975 · 1.4K citations

Computing, Nursing, Medical Education +10

Qualitative simulation

Benjamin Kuipers · Artificial Intelligence · 1986 · 1.4K citations

Prolog programming for artificial intelligence

Computer-Aided Design · 1986 · 1.1K citations

Computing, Computer Science, Artificial Intelligence +8

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

Computing, Computer Science, Algorithms +16

Learning distributed representations of concepts.

Geoffrey E. Hinton · eScholarship (California Digital Library) · 1989 · 824 citations

Computing, Computer Science, Knowledge Representation +11