Automatically detecting higher-level events from lower-level timestamped observations using logical rules.