AILA 2025

The AILA 2025 conference will take place on August 16–17, 2025 in Xi’an, a renowned ancient city in Shaanxi Province, China. The event is locally organized by Xi’an Shiyou University ( website ).

AILA is a well-established series of conferences, with previous editions held in Dalian (2021), Shanghai (2022), Changchun (2023), and Lanzhou (2024). For more information on the past editions, visit the official conference series website: ailasym.com .

About AILA

Logic is a fundamental cornerstone of Artificial Intelligence (AI), underpinning its foundations and enabling advancements in fields such as decision-making, fraud detection, cybernetics, and precision medicine. It ensures sound and complete reasoning, which is essential for AI applications.

The AILA conference series provides a platform for researchers to present and discuss novel ideas, original research findings, and practical experiences. The goal is to advance the integration of logic into AI research and applications, including its incorporation into machine learning models.

Important Dates

Full Paper Submissions Due: April 30, 2025 (AoE)

Acceptance Notification: July 01, 2025 (AoE)

Camera-ready paper submission Due: July 15, 2025 (AoE)

Conference: August 16-17, 2025 (China)

Scope and Topics

Logic has been a foundation stone for symbolic knowledge representation and reasoning ever since the beginning of AI research in the 1950s. Besides, AI applications often make use of logical approaches, including decision making, fraud detection, cybernetics, precision medicine, and many more. With the prevailing of machine learning and deep learning, combining logic-related structures is becoming a common view so as to take advantage of the diverse paradigms. This conference aims to provide an opportunity and forum for researchers to share and discuss about their novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications. AILA 2025 covers a broad spectrum of topics, including but not limited to:

Approximate reasoning
Automated reasoning vs. Monotonic reasoning
Belief logic vs. Epistemic logic
Combining logic in big data intelligence
Default logic vs. Modal logic
Description logic vs. Separation logic
Dynamic logic
Granular computing vs. Soft computing

Knowledge graph
Logic programming
Logic-based approaches in decision-making and image processing
Non-monotonic logic vs. Non-classic logic
Probabilistic logic vs. Fuzzy logic
Reasoning based on large language model
Spatial logic vs. Temporal logic

Submission and Publication

Paper Submission

Authors are invited to submit their papers via EasyChair: EasyChair Submission Link. Submissions must:

• Be written in English.
• Follow the Springer format requirements ( guidelines ).
• Not exceed 15 pages in one-column format (including references).
• Achieve a Crossref Similarity Check score below 30% using iThenticate ( iThenticate website ).

Publication

All accepted papers will be published by Springer in the Communications in Computer and Information Science (CCIS) series and will be indexed by El Compendex. Selected distinguished papers, after further revision, will be considered for publication in international journal of big data intelligence and SCI-indexed international journals, including Information Sciences, Applied Sciences, and CMC - Computers, Materials & Continua.

Previous proceedings of AILA have been published by Springer as CCIS 2248 , CCIS 1917 , and CCIS 1657. More information about previous AILA proceedings could be found at SpringerLink.

We look forward to your contributions and participation in AILA 2025 in Xi’an!

Steering Committee

Luis Soares BARBOSA
Sanjiang LI
Weiru LIU
Ruqian LU
Meng SUN
Weixin XIE
Minghui XIONG
Guoqiang ZHANG
Songmao ZHANG

Minho University, PT
University of Technology Sydney, AU
University of Bristol, UK
Chinese Academy of Sciences, CN
Peking University, CN
Shenzhen University, CN
Zhejiang University, CN
University of Texas Houston, USA (Chair)
Chinese Academy of Sciences, CN