A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors