Surveying neuro-symbolic approaches for reliable artificial intelligence of things. - Zhen Lu; Imran Afridi; Hong Jin Kang; Ivan Ruchkin; Xi Zheng 001 (J. Reliab. Intell. Environ., 2024)