Temporal logic inference for classification and prediction from data
planning algorithms .