Using Linear Arithmetic Procedure for Generating Induction Schemes.

Deepak Kapur Mahadevan Subramaniam

Published in: FSTTCS (1994)

Keyphrases

integer arithmetic
inductive learning
oblique decision trees
machine learning
expert systems
concept learning
linear model
information systems
piecewise linear
explanation based learning
rule induction
version space
constructive induction