Logic-based representation, reasoning and machine learning for event recognition