A Subatomic Proof System for Decision Trees.
Chris BarrettAlessio GuglielmiPublished in: ACM Trans. Comput. Log. (2022)
Keyphrases
- decision trees
- decision tree induction
- machine learning
- modal logic
- logistic regression
- naive bayes
- training data
- random forest
- data mining methods
- training set
- machine learning algorithms
- decision rules
- decision tree classifiers
- attribute selection
- predictive accuracy
- ensemble methods
- intuitionistic logic
- rule induction
- rule sets
- decision tree algorithm
- classification rules
- multivariate decision trees
- information retrieval
- data sets
- feature construction
- constructive induction
- genetic algorithm