Towards Safer (Smart) Cities: Discovering Urban Crime Patterns Using Logic-based Relational Machine Learning | IEEE Conference Publication | IEEE Xplore