Explicit representation of terms defined by counter examples

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

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

A theory and methodology of inductive learning

Ryszard S. Michalski · Computer Compacts · 1983 · 779 citations

Education, Teaching, Epistemology +5

Multilevel counterfactuals for generalizations of relational concepts and productions

Steven A. Vere · Artificial Intelligence · 1980 · 94 citations

Social Sciences, Psychology, Knowledge Representation +6

Completeness of the negation as failure rule

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd · 1983 · 87 citations

Humanities, Computer Science, Mathematics +11