AILA 2023: The 2023 International Conference on Artificial Intelligence Logic and Applications 吉林省长春市前进大街2699号吉林大学王湘浩楼 Changchun, China, August 5-6, 2023 |
Conference website | http://ailasym.com/ |
Submission link | https://easychair.org/conferences/?conf=aila2023 |
Submission deadline | April 8, 2023 |
Call for Papers
The 3rd International Conference on Artificial Intelligence Logic and Applications (AILA2023)
August 05-06, 2023, Changchun, China
Website?
The 2023 International Conference on Artificial Intelligence Logic and Applications (AILA 2023) is the second 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=aila2022. 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
Important Dates
- Full paper submission: April 08, 2023
- Acceptance notification: June 08, 2023
- Camera-ready paper submission: June 23, 2023
Honorary Chair
Ruqian Lu, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, CAS Member, China
Weixin Xie, ShenZhen University, China
Conference Chair
Yixiang Chen, East China Normal University, China
Bo Yang, Jilin University, China
Program Committee
Chairs
Songmao Zhang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
YongGang Zhang, Jilin University, China
Members
Cungen Cao, Institute of Computing Technology, Chinese Academy of Sciences, China
Shifei Ding, China University of Mining and Technology, China
Lluis Godo, Artificial Intelligence Research Institute, Campus UAB Bellaterra, Spain
Xiaolong Jin, Institute of Computing Technology, Chinese Academy of Sciences, China
Qin Li, East China Normal University, China
Huawen Liu, Shandong University, China
Lin Liu, Tsinghua University, China
Weiru Liu, University of Bristol, UK
Wenji Mao, Institute of Automation, Chinese Academy of Sciences, China
Dantong Ouyang, Jilin University, China
Haiyu Pan, Guilin University of Electronic Technology, China
Meikang Qiu, Texas A&M University Commerce, USA
Joerg Siekmann, German Research Center for Artificial Intelligence (DFKI), Germany
Yiming Tang, Hefei University of Technology, China
Constantine Tsinakis, Vanderbilt University,USA
Hengyang Wu, Shanghai Polytechnic University, China
Maonian Wu, Huzhou University, China
Zhongdong Wu, Lanzhou Jiaotong University, China
Juanying Xie, Shaanxi Normal University, China
Min Zhang, East China Normal University, China
Hongjun Zhou, Shaanxi Normal University, China
Li Zou, Shandong Jianzhu University, China