Interval Temporal Logic Decision Tree Learning.
Andrea BrunelloGuido SciaviccoIonel Eduard StanPublished in: JELIA (2019)
Keyphrases
- temporal logic
- decision tree learning
- decision trees
- model checking
- attribute values
- constructive induction
- modal logic
- ensemble methods
- mazurkiewicz traces
- meta learning
- linear temporal logic
- verification method
- decision tree induction
- belief revision
- information gain
- temporal knowledge
- data mining methods
- transition systems
- concept learning
- data mining
- prediction accuracy
- machine learning