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

Learning Logical Definitions from Relations

J. R. Quinlan · Machine Learning · 1990 · 1.4K citations · Full text

Computing, Computer Science, Knowledge Representation +11

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