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.
Marcello Bonsangue
Artificial Intelligence Logic Explainable AI Knowledge Systems Probabilistic and Fuzzy Systems AI Algorithms Specification and Verification of AI Systems Theory and algorithms for application domains