Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model (Logical Methods in Computer Science, 2024)