A General Logical Approach to Learning from Time Series (Invited Talk) | Synapse