Block-wise construction of tree-like relational features with monotone reducibility and redundancy

LIBLINEAR: A Library for Large Linear Classification

Rong-En Fan, Kai‐Wei Chang, Cho‐Jui Hsieh et al. · 2008 · 6.6K citations

Computing, Computer Science, Data Science +17

Data mining and knowledge discovery: making sense out of data

U.M. Feyyad · IEEE Expert · 1996 · 4.7K citations

Computing, Computer Science, Information Technology +12

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Learning Logical Definitions from Relations

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

Computing, Computer Science, Knowledge Representation +11

Inverse entailment and progol

Stephen Muggleton · New Generation Computing · 1995 · 1.4K citations

Humanities, Linguistics, Logic +4