MeTeoR: metric temporal reasoner
Examples:
Fraud Detection
Sensor Readings
Vaccination and Immunisation
Backup Devices
Immortality
Dataset:
Program:
Fact:
to check if the fact is entailed by the dataset and the program