This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024. The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from ...