Call for Papers
The 4th International Conference on Artificial Intelligence Logic and Applications (AILA2024)
August 10-11, 2022, Lanzhou, China
http://ailasym.com
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.
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:
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
Paper Submission
Papers shall be submitted electronically as a PDF file through EasyChair Conference management system at: https://easychair.org/conferences/?conf=aila2024
Papers must be clearly presented in English and not exceed 15 pages in one-column style. Paper submission should follow the format requirement of Springer described at: https://www.springer.com/us/authors-editors/conference-proceedings/conference-proceedings-guidelines. Importantly, as required by Springer, the Crossref Similarity Check score should be lower than 30% when using the software iThenticate at https://www.ithenticate.com for plagiarism detection.
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. Distinguished papers presented at the conference, after further revision, will be published in international journals indexed by SCI.
Important Dates
• Full paper submission: April 30, 2024
• Acceptance notification: July 01, 2024
• Camera-ready paper submission: July 15, 2024
Honorary Chairs
Ruqian Lu, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Chin
Weixin Xie, Shenzhen University, China
Conference Chairs
Guo-Qiang Zhang, University of Texas Houston, USA
Guanghui Yan, Lanzhou Jiaotong University, China
Program Committee Chairs
Luis Soares Barbosa, Minho University, Portugal
Songmao Zhang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
Organization Committee Chairs
Kaijun Wu, Lanzhou Jiaotong University, China
Yong Zhang, Shenzhen University, China
Publicity Chair
Yan Lu, Lanzhou Jiaotong University, China
Publication Chair
Yiming Tang, Hefei University of Technology
Program Committee Members
Michal Baczynski |
University of Silesia in Katowice, Poland |
Cungen Cao |
Institute of Computing Technology, Chinese Academy of Sciences, China |
Shaowei Cai |
Institute of Software, Chinese Academy of Sciences, China |
Yanhui Chen |
Xi'an University of Electronic Technology, China |
Shifei Ding |
China University of Mining and Technology, China |
Daqing Deng |
Guangzhou City Institute of Technology, China |
Jian Gao |
Northeast Normal University, China |
Lluis Godo |
Artificial Intelligence Research Institute, CSIC, Spain |
Leandro Gomes |
University of Lille, France |
Xiaolong Jin |
Institute of Computing Technology, Chinese Academy of Sciences, China |
Fengkui Ju |
Beijing Normal University, China |
Yong Lai |
Jilin University, China |
Ang Li |
Changchun Institute of Optical Precision Instruments and Physics, Chinese Academy of Sciences, China |
Fanzhang Li |
Suzhou University, China |
Jian Li |
Jilin Agriculture University, China |
Qin Li |
East China Normal University, China |
Zhanshan Li |
Jilin university, China |
Beishui Liao |
Zhejiang University, China |
Huawen Liu |
Shandong University, China |
Lin Liu |
Tsinghua University, China |
Renren Liu |
Xiangtan University, China |
Weiru Liu |
University of Bristol, UK |
Jun Liu |
Ulster University, UK |
Alexandre Madeira |
University of Aveiro, Portugal |
Wenji Mao |
Institute of Automation, Chinese Academy of Sciences, China |
Luis Martinez |
University of Jaén, Spain |
Dantong Ouyang |
Jilin University, China |
Haiyu Pan |
Guilin University of Electronic Technology, China |
Jihong Pei |
Shenzhen University, China |
Meikang Qiu |
Texas A&M University Commerce, USA |
Rosa M Rodríguez |
University of Jaén, Spain |
Yun Shang |
Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China |
Yanhong She |
Xi'an Shiyou University, China |
Joerg Siekmann |
German Research Center for Artificial Intelligence (DFKI), Germany |
Liang Sun |
Dalian University of Technology, China |
Xianyong Tang |
Sichuan University, China |
Yiming Tang |
Hefei University of Technology, China |
Constantine Tsinakis |
Vanderbilt University, USA |
Hui Wang |
Queen's University Belfast, UK |
Zhu Wang |
Sichuan University, China |
Bin Wei |
Zhejiang University, China |
Hengyang Wu |
Shanghai Polytechnic University, China |
Maonian Wu |
Huzhou University, China |
Zhongdong Wu |
Lanzhou Jiaotong University, China |
Juanying Xie |
Shaanxi Normal University, China |
Yun Xie |
Sun Yat-Sen University, China |
Minghui Xiong |
Zhejiang University, China |
Youjun Xu |
Daqing Normal University, China |
Yuxin Ye |
Jilin University, China |
Changsheng Zhang |
Northeast University, China |
Guangjun Zhang |
Southwest University of Political Science and Law, China |
Jian Zhang |
Institute of Software, Chinese Academy of Sciences, China |
Min Zhang |
East China Normal University, China |
Qinghua Zhang |
Chongqing University of Posts and Telecommunications, China |
Yong Zhang |
Shenzhen University, China |
Yuanrui Zhang |
Southwest University, China |
Bin Zhao |
Shaanxi Normal University, China |
Jian Zhao |
Changchun University, China |
Yang Zhao |
Shenzhen University, China |
Hongjun Zhou |
Shaanxi Normal University, China |
Li Zou |
Shandong Jianzhu University, China |
AILA steering committee
Yixiang Chen, East China Normal University, China
Guo-Qiang Zhang, University of Texas Houston, USA
Meng Sun, Peking University, China
Sanjiang Li, University of Technology Sydney, Australia
Songmao Zhang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
甘公网安备62010502000995号 陇ICP备14001560号-2 设计制作 宏点网络
