Decision Tree Learning in CEGIS-Based Termination Analysis.
Satoshi KuraHiroshi UnnoIchiro HasuoPublished in: CAV (2) (2021)
Keyphrases
- decision tree learning
- termination analysis
- active rules
- active databases
- decision trees
- abstract interpretation
- constructive induction
- attribute values
- meta learning
- ensemble methods
- decision tree induction
- object oriented databases
- information gain
- knowledge base
- information systems
- learning algorithm
- data sets
- database
- description language
- machine learning
- data mining
- databases