Gupta, G.; Wang, H.; Basu, K.; Shakerin, F.; Padalkar, P.; Salazar, E.; Varanasi, S. C.; Dasgupta, S. Logic-Based Explainable and Incremental Machine Learning. AAAI-SS 2024, 2, 230-232.