Artificial Intelligence Logic and Applications : The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings - Chen, Yixiang; Zhang, Songmao (Singapore Springer, 2023)