Arrhythmia classification from the abductive interpretation of short single-lead ECG records | IEEE Conference Publication | IEEE Xplore