Artificial Intelligence Logic and Applications

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 45 submissions. The papers cover the following topics: AI logic foundation; AI logic reasoning; AI logic applications.