Bridging KR and Machine Learning