Mining quantified temporal rules: Formalism, algorithms, and evaluation

► A formalism for mining quantified binary temporal rules. ► A general event quantification technique to mine quantified rules. ► Efficient algorithms to mine quantified and unquantified binary temporal rules. ► An alternative approach to perform trace slicing.