Integrating Machine Learning with Symbolic Reasoning to Build an Explainable AI Model for Stroke Prediction | IEEE Conference Publication | IEEE Xplore