Keyphrases
- decision trees
- decision tree algorithm
- naive bayes
- predictive accuracy
- logistic regression
- decision tree induction
- machine learning
- theorem proving
- higher order
- machine learning algorithms
- training data
- search space
- information gain
- decision tree learning
- equational theories
- data mining
- decision tree construction
- random forest
- attribute selection
- decision tree algorithms
- feature selection
- quantified boolean formulas
- ensemble methods
- theorem prover
- classification rules
- classification trees
- induction algorithms
- dynamic programming
- training set
- support vector
- knuth bendix
- data sets