Artificial Intelligence Logic and Applications: 5th International Conference, AILA 2025, Xi'an, China, August 1617, Proceedings

This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025. The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. The papers are organized in the following topical sections: Explainable AI; Knowledge Systems; Norms and Metrics; Probabilistic and Fuzzy Systems; Optimization and Efficiency; Specification and Verification.