AILA 2023: The 3rd International Conference on Artificial Intelligence Logic and Applications Wang Xianghao Building, No.2699 Qianjin Street, Changchun City, China Changchun, China, August 5-6, 2023 |
Conference website | http://ailasym.com/AILA2023/index.html |
Submission link | https://easychair.org/conferences/?conf=aila2023 |
Conference program | https://easychair.org/smart-program/AILA2023/ |
Submission deadline | May 5, 2023 |
Call for Papers
The 3rd International Conference on Artificial Intelligence Logic and Applications (AILA2023)
August 05-06, 2023, Changchun, China
The 2023 International Conference on Artificial Intelligence Logic and Applications (AILA 2023) is the third in a series of conferences dedicated to logical formalisms and approaches to artificial intelligence (AI). The conference will be held in Changchun during August 05-06, 2023, and organized by the Jilin University. All papers accepted will be included in the AILA 2023 proceedings that will be published by Springer and submitted for indexing by EI Compendex.
Scope and Motivation
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.
Topics include, but are certainly not limited to:
Belief logic and Epistemic logic
Default logic and Modal logic
Description logic and Separate logic
Dynamic logic and Temporal logic
Non-monotonic logic and Non-classic logic
Probabilistic logic and Fuzzy logic
Spatio-temporal logic
Automated reasoning and Approximate reasoning
Granular computing and Soft computing
Logic programming and Logic-based approaches
Neural-symbolic integration
Logic-based applications
Paper Submission
Papers shall be submitted electronically as a PDF file through EasyChair Conference management system at: https://easychair.org/conferences/?conf=aila2023.
Papers must be clearly presented in English, must not exceed 14 pages (one-column format, appropriatedly 6-7 pages in IEEE standard double-column format). Format of paper submission should follow the requirement of Springer (Word Template or LaTeX Package) as follows: https://www.springer.com/us/authors-editors/conference-proceedings/conference-proceedings-guidelines
Publications
All accepted papers will be published by Springer in the Communications in Computer and Information Science (CCIS) series and will be indexed by EI compendex.
Distinguished papers presented at the conference, after further revision, will be pubilshed in international journals indexed by SCI.
Important Dates
- Full paper submission: April 20, 2023
- Acceptance notification: June 30, 2023
- Camera-ready paper submission: July 15, 2023
Honorary Chair
Ruqian Lu, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, CAS Member, China
Weixin Xie, ShenZhen University, China
Conference Chairs
Yixiang Chen, East China Normal University, China
Bo Yang, Jilin University, China
Program Chairs
Songmao Zhang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
YongGang Zhang, Jilin University, China
Sponsor
Jilin University