Knowledge Extraction with Interval Temporal Logic Decision Trees