Artificial Intelligence Logic and Applications: The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings - Songmao Zhang; Zhang, Yonggang (Springer Nature, 2023)