Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings - Zhang, Songmao; Barbosa, Luis Soares (Springer Nature Singapore, 2025)