Democratizing AI for Condition-Based Maintenance Leveraging Probabilistic Programming for Symbolic Reasoning | IEEE Conference Publication | IEEE Xplore