August 5-6, 2023, Changchun, China
The 2023 International Conference on Artificial lntelligence Logic and Applications (AlLA 2023 is the third in a series of conferences dedicated to logical formalisms and approaches to artificia intelligence (Al). The conference will be held in Changchun during August 05-06, 2023, anorganized by the Jilin University. All papers accepted will be included in the AlLA 2023 proceeding; that will be published by Springer and submitted for indexing by El Compendex.
Full Paper
Submissions Due: April 30, 2023 May 05, 2023
Acceptance
Notification: June 30, 2023
Deadline for final papers: July 15, 2023     Download the copyright form and the illustration
Conference date: August 05-06, 2023
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:
Title: Making sense of hidden neuron activations with deductive reasoning
PDF version of slides: https://www.dropbox.com/scl/fi/eqsraqg286j09phupx90r/2023-07-AILA.pdf?rlkey=vf0ka22v0lo25oc5bbg1u4pny&dl=0
Pascal Hitzler
Professor, Department of Computer Science, Kansas State University
Endowed Lloyd T. Smith Creativity in Engineering Chair
Director, Center for Artificial Intelligence and Data Science (CAIDS)
Title: Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems
Jimmy Ho Man Lee
Professor, Department of Computer Science and Engineering, CUHK
Member, University Council, CUHK
Member, Board of Trustees, New Asia College
Bio:Jimmy Lee completed his doctoral studies in 1992 under the supervision of the late Maarten van Emden in the area of constraint logic programming.
He is now Professor in the Department of Computer Science and Engineering and Professor in the Department of Systems Engineering and Engineering Management.
His research focuses on the theory and practice of constraint satisfaction and optimization with applications in combinatorial optimization, scheduling, and resource allocation.
Title: Paraconsistent transition systems and their logics
Luís Soares Barbosa
Professor, Department of Computer Science and Engineering, Universidade do Minho
Senior researcher, HASLab INESC TEC
Member, International Iberian Nanotechnology Laboratory
Title: The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation
Beishui Liao
Professor, School of Philosophy, Zhejiang University
Director, Institute of Logic and Cognition, Zhejiang University
Director, ZLAIRE, Zhejiang University
PI, State Key Lab of Brain-Machine Intelligence, Zhejiang University
Title: Modeling and Solving Combinatorial Problems in Picat
Neng-Fa Zhou
Professor, Computer and Information Science at Brooklyn College
Graduate Center of the City University of New York
Full registeration as a regular register20 July, 2023 | Full registeration as a student20 July, 2023 | |
Price | 2,000.00(CNY) | 1,000.00(CNY) |
---|
单位名称: | 中国人工智能学会 |
开户银行: | 中国工商银行北京新街口支行 |
账号: | 0200002909200166203 |
行号: | 102100000290 |
转账请务必备注: | AILA2023+姓名+论文ID号 |
Submission webpage: EasyChair.
Format of accepted papers should follow the requirement of the Springer CCIS one-column page formatting guidelines, including bibliographical format (see https://resource-cms.springernature.com/springer-cms/rest/v1/content/19242230/data/).
The pages of the full paper and the short paper are limted from 12 to 15 and 6 to 8 respectively.
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.     Download the copyright form and the illustration
Distinguished papers presented at the conference, after further revision, will be pubilshed in international journals indexed by SCl.
Michal Baczynski, Faculty of Science and Technology, University of Silesia in Katowice, Katowice 40-007, Poland
Cungen Cao, Institute of Computing Technology, Chinese Academy of Sciences, China
Shaowei Cai, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Yanhui Chen, College of Communication, Xi'an University of Electronic Technology, China
Shifei Ding, College of Computer Science, China University of Mining and Technology
Daqing Deng, Guangzhou City Institute of Technology, China
Jian Gao, College of Information Science and Technology, Northeast Normal University, China
Lluis Godo, PhD, Artificial Intelligence Research Institute, Bellaterra, Spain
Xiaolong Jin, Institute of Computing Technology, Chinese Academy of Sciences, China
Fengkui Ju, Department of Philosophy, Beijing Normal University, China
Ang Li, Changchun Institute of Optical Precision Instruments and Physics, Chinese Academy of Sciences
Beishui Liao, Institute of Logic and Cognition, Zhejiang University, China
Qin Li, College of Software Engineering, East China Normal University, China
Huawen Liu, Shandong University, China
Lin Liu, Tsinghua University, China
Zhanshan Li, College of Computer Science and Technology, Jilin University, China
Yong Lai, College of Computer Science and Technology, Jilin University, China
Jian Li, College of Information, Jilin Agricultural University, China
Renren Liu, Xiangtan University, China
Fanzhang Li, Suzhou University, China
Weiru Liu, University of Bristol, UK
Jun Liu, School of Computing, Faculty of Computing, Engineering and the Built Environment, Ulster University, UK
Wenji Mao, Institute of Automation, Chinese Academy of Sciences, China
Luis Martinez, Computer Science Department, University of Jaén, Spain
Dantong Ouyang, College of Computer Science and Technology, Jilin University, China
Haiyu Pan, College of Computer and Information Security, Guilin University of Electronic Technology, China
Jihong Pei, Shenzhen University, China
Meikang Qiu, Texas A&M University Commerce, USA
Rosa Mª Rodríguez Domínguez, Computer Science Department, University of Jaén, Spain
Liang Sun, College of Software, Dalian University of Technology, China
Yanhong She, Xi'an Shiyou University, China
Yun Shang, Institute of Mathematics and Systems Science, Chinese Academy of Sciences
Joerg Siekmann, German Research Center for Artificial Intelligence (DFKI), Germany
Yiming Tang, Hefei University of Technology, China
Xianyong Tang, Sichuan University, Law College, China
Constantine Tsinakis, Department of Mathematics, Vanderbilt University, Nashville, TN, USA
Hengyang Wu, School of Computer and Information Engineering, Shanghai Polytechnic University, China
Maonian Wu, Huzhou University, China
Zhongdong Wu, Lanzhou Jiaotong University, China
Bin Wei, Zhejiang University, China
Zhu Wang, Sichuan University Law College
Hui Wang, School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, UK
Youjun Xu, College of Computer Science and Information Technology, Daqing Normal University, China
Juanying Xie, Shaanxi Normal University, China
Yun Xie, Institute of Logic and Cognition, Sun Yat sen University, China
Minghui Xiong, Zhejiang University, China
Yuxin Ye, College of Computer Science and Technology, Jilin University, China
Changsheng Zhang, College of Software, Northeast University, China
Songmao Zhang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China
Jian Zhang, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Yonggang Zhang, College of Computer Science and Technology, Jilin University, China
Min Zhang, East China Normal University, China
Hongjun Zhou, Shaanxi Normal University, China
Li Zou, Shandong Jianzhu University, China
Jian Zhao, College of Computer Science and Technology, Changchun University, China
Bin Zhao, Shaanxi Normal University, China
Yong Zhang, Shenzhen University, China
Qinghua Zhang, Chongqing University of Posts and Telecommunications, China
Yuanrui Zhang, Southwest University, China
Guangjun Zhang, Southwest University of Political Science and Law, China
Yang Zhao, Shenzhen University, China
Hai Shen, Software College, Jilin University, China, shenh@jlu.edu.cn
Daxin Zhang, College of Computer Science and Technology, Jilin University, China, zhangdx@jlu.edu.cn
Ming Gao, College of Computer Science and Technology, Jilin University, China, gaom@jlu.edu.cn
Jianbiao Wang, College of Computer Science and Technology, Jilin University, China, wangjb@jlu.edu.cn
Di Tian, College of Computer Science and Technology, Jilin University, China, field@jlu.edu.cn
Zhaoguo Wang, College of Computer Science and Technology, Jilin University, China, Wangzg21@mails.jlu.edu.cn
Jiawen Liu, College of Computer Science and Technology, Jilin University, China, jiawen22@mails.jlu.edu.cn