The 2024 International Conference on Artificial Intelligence Logic and Applications (AILA 2024) is the fourth in a series of conferences dedicated to logical formalisms and approaches to artificial intelligence (AI). The conference will be held in Lanzhou in Gansu Province of China during August 10-11, 2024, hosted by the Chinese Association for Artificial Intelligence (CAAI) and organized by the Lanzhou Jiaotong University. All papers accepted will be included in the AILA 2024 proceedings that will be published by Springer and submitted for indexing by EI Compendex.

Important Dates

  • Full paper submission: April 30, 2024
  • Acceptance notification: July 01, 2024
  • Camera-ready paper submission: July 15, 2024

Paper Submission

Papers shall be submitted electronically as a PDF file through EasyChair Conference management system at:


Topics include, but are certainly not limited to: Automated reasoning and Approximate reasoning
Belief logic and Epistemic logic
Computational law
Default logic and Modal logic
Description logic and Separate logic
Dynamic logic and Temporal logic
Granular computing and Soft computing
Legal informatics
Large language models and logic
Logic-based applications
Logic-based smart transportation
Logic programming and Logic-based approaches
Neural-symbolic integration
Non-monotonic logic and Non-classic logic
Probabilistic logic and Fuzzy logic
Spatio-temporal logic