Figure 8From: Automated reasoning using abduction for interpretation of medical signals Segmentation result over 12-hours data (the first dataset). Back to article page