Proving Inductive Theorems Using Witnessed Test Sets.

Zhiqing Shao Yongqiang Sun Guoxin Song Huiqun Yu

Published in: ICFEM (1998)

Keyphrases

test set
error rate
training set
inductive learning
training data
test data
inductive logic programming
machine learning
evaluation methodology
inductive reasoning
data sets
test cases
inductive inference
digital topology
functional programs
feature selection
random selection
database