Decision Tree Learning in CEGIS-Based Termination Analysis.
Satoshi KuraHiroshi UnnoIchiro HasuoPublished in: CoRR (2021)
Keyphrases
- decision tree learning
- termination analysis
- active rules
- active databases
- abstract interpretation
- decision trees
- constructive induction
- ensemble methods
- attribute values
- decision tree induction
- meta learning
- data sets
- integrity constraints
- domain knowledge
- learning algorithm
- business rules
- deductive databases
- data streams
- feature selection
- database