The Journal of Logic Programming · 1994 · 1.6K citations · 89 references
ComputingComputer ScienceFormal MethodsLogicTheory Of ComputationAutomated ReasoningDeductive ReasoningInductive ReasoningLogic ProgrammingPredicate LogicInductive InferenceInductive Logic ProgrammingInductive Theorem Proving
89
J. R. Quinlan · Machine Learning · 1986 · 14.8K citations · Full text
J. R. Quinlan · Machine Learning · 1986 · 12.4K citations · Full text
Modeling by shortest data description
J. Rissanen · Automatica · 1978 · 6K citations