The 3rd International Conference on Artificial Intelligence Logic and Applications


August 5-6, 2023, Changchun, China



Welcome to the website of the 3rd International Conference on Artificial Intelligence Logic and Applications (AILA2023)

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.


Dear researchers and engineers, the Proceedings of AILA2023 have been released, and the free download address for the next four weeks is: CCIS 1917, AILA 2023:

https://link.springer.com/book/10.1007/978-981-99-7869-4

Important Dates

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


Program

   August 5th (Saturday)
  • 08:00-09:00 Session 1: Keynote Speaker 1 Pascal Hitzler
    (Chair: Songmao Zhang; Location: B108; 1 talk)
  • 09:00-10:00 Session 2: Opening
    (Chair: Yonggang Zhang; Location: B108)
  • 10:00-10:20 Group Photo & Coffee Break
  • 10:20-11:20 Session 3: Keynote Speaker 2 Jimmy Lee
    (Chair: Qinghua Zhang; Location: B108; 1 talk)
  • 11:20-14:00 Lunch Break
  • 14:00-16:00 Session 4A: AI Logic Reasoning-1
    (Chair: Yong Feng and Zhu Wang; Location: A521; 6 talks)
  • 14:00-16:00 Session 4B: AI Logic Foundation-1
    (Chair: Juanying Xie and Zhongdong Wu; Location: A515; 6 talks)
  • 16:20-18:20 Session 5A: AI Logic Reasoning-2
    (Chair: Bin Wei and Min Zhang; Location: A521; 6 talks)
  • 16:20-18:20 Session 5B: AI Logic Foundation-2
    (Chair: Fanzhang Li and Li Zou; Location: A515; 6 talks)
  • 18:20-20:00 Banquet
   August 6th (Sunday)
  • 08:00-10:00 Session 6: Adjourn
  • 10:00-10:20 Coffee Break
  • 10:20-11:20 Session 7: Keynote Speaks 3 Nengfa Zhou
    (Chair: Bin Zhao; Location: B108; 1 talk)
  • 11:20-12:20 Session 8: Keynote Speaker 4 Beishui Liao
    (Chair: Minghui Xiong; Location: B108; 1 talk)
  • 12:20-14:00 Lunch Break
  • 14:00-16:20 Session 9A: AI Logic Applications 1
    (Chair: Yun Shang and Yuxin Ye; Location: A521; 7 talks)
  • 14:00-16:20 Session 9B: AI Logic Applications 2
    (Chair: Yanhui Chen and Yisong Wang; Location: A515; 6 talks)
  • 16:20-16:40 Coffee Break
  • 16:40-17:40 Session 10: Keynote Speaker 5 Luis S. Barbosa
    (Chair: Jihong Pei; Location: B108; 1 talk)
  • 17:40-18:10 Session 11: Closing
    (Chair: Yong Zhang; Location: B108)
  • 18:10-20:10Dinner


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. Topics include, but are certainly not limited to:

  • Belief logic and Epistemic logic
  • Default logic and Modal logic
  • Description logic and Seperation 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

Keynote Speeches


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)


Bio:In 2001, he completed a Ph.D. in Mathematics from the National University of Ireland, University College Cork. From 2004-2009, he was Akademischer Rat at the Institute for Applied Informatics and Formal Description Methods at the University of Karlsruhe in Germany. Hitzler's research record lists over 400 publications in such diverse areas as semantic web, artificial intelligence, neuro symbolic integration, knowledge representation and reasoning, machine learning, denotational semantics, and set-theoretic topology.

Abstract:Deep Learning has recently caused very rapid advances in Artificial Intelligence, opening up unprecedented opportunities in machine learning. However, to date accuracy of deep learning systems can only be assessed statistically: they are essentially black boxes, meaning that their rationales for their decisions or predictions defy analysis. At the same time, they have been shown to display bias, and sometimes to hallucinate, i.e. to produce output that is not grounded in facts. In this presentation we will discuss recent results on the use of ontologies and deductive reasoning to understand the inner workings of trained deep learning systems.



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.

Abstract:Constraint Optimization Problems (COPs) ask for an assignment of values to variables in order to optimize an objective subject to constraints that restrict the value combinations in the assignment. In this talk, we present the first theoretical and practical framework for automatic generation of dominance breaking constraints for a class of COPs consisting of efficiently checkable objectives and constraints. Instead of synthesizing general constraints for dominance breaking, the framework focuses on generating nogoods representing incompatible value assignments and formulates nogood generation as solving auxiliary constraint satisfaction problems. We would also discuss how to generalize the framework by exploiting functional constraints and their properties, such as monotonicity, commutativity, and associativity, to generate more effective dominance breaking nogoods for COPs with nested function calls.



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


Bio:He’s full professor at the Computer Science Department, Universidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab INESC TEC. In 2019 he joined INL, the International Iberian Nanotechnology Laboratory, as a member of the Quantum and Linear Optical Computation Group. His main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. Most of his work is framed on Coalgebra and Modal Logic.

Abstract:Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. This talk will introduce a variant of transition systems endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values. Such paraconsistent transition systems provide a basis to generalise Belnap-Dunn four-valued logic, with possible applications in different domains of AI and Computer Science, in particular to reason about decoherence in current quantum computing devices. The talk will focus on a model-theoretic perspective of the emerging logic.


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


Bio:Beishui Liao is full professor of logic and computer science at Zhejiang University since 2013, and is Qiushi Distinguished Professor from 2019. He obtained his PhD degree from the College of Computer Science and Technology, Zhejiang University, in 2006. His main research interests are computational models of argumentation and their application in agents and multi-agent systems, explainable AI and ethical AI.

Abstract:An autonomous system is constructed by a manufacturer, operates in a society subject to norms and laws, and interacts with end users. All of these actors are stakeholders affected by the behavior of the autonomous system. We address the challenge of how the ethical views of such stakeholders can be integrated in the behavior of an autonomous system. We propose an ethical recommendation component called Jiminy which uses techniques from normative systems and formal argumentation to reach moral agreements among stakeholders. A Jiminy represents the ethical views of each stakeholder by using normative systems, and has three ways of resolving moral dilemmas that involve the opinions of the stakeholders. Jiminy represents the ethical views of each stakeholder by using normative systems, and has three ways of resolving moral dilemmas involving the opinions of the stakeholders. First, Jiminy considers how the arguments of the stakeholders relate to one another, which may already resolve the dilemma. Secondly, Jiminy combines the normative systems of the stakeholders such that the combined expertise of the stakeholders may resolve the dilemma. Thirdly, and only if these two other methods have failed, Jiminy uses context-sensitive rules to decide which of the stakeholders take preference. At the abstract level, these three methods are characterized by the addition of arguments, the addition of attacks among arguments, and the revision of attacks among arguments. We show how Jiminy can be used not only for ethical reasoning and collaborative decision making, but also for providing explanations about ethical behavior.



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

Bio:Neng-Fa Zhou received a BS degree in Computer Science from Nanjing University, China, in 1984, and MS and PhD degrees in Computer Science and Engineering from Kyushu University, Japan, in 1988 and 1991, respectively. He has been an active researcher in programming language systems for more than 25 years.  He is the principal designer and implementer of the B-Prolog and Picat systems, which are widely used in both academia and industry.

Abstract:Picat is a logic-based multi-paradigm language that integrates logic programming, functional programming, constraint programming, and scripting. Picat takes many features from other languages, including logic variables, unification, backtracking, pattern-matching rules, functions, list/array comprehensions, loops, assignments, tabling for dynamic programming and planning, and constraint solving with CP (constraint programming), SAT (satisfiability), MIP (mixed integer programming), and SMT (Satisfiability Modulo Theories). In this talk, I will show how to declaratively model some combinatorial problems, including constraint satisfaction and planning problems, and solve them efficiently using Picat. I will also explain how high-level models are compiled to SAT encodings for fast solving.

Registration


Note: For each accepted paper, all authors and other participants should complete the registration before 20 July, 2023.
And each accepted paper must be registered as a regular register at least.

Each AILA registration fee covers:
  • Conference proceedings and program
  • Conference buffet and dinner

Full registeration as a regular register
20 July, 2023
Full registeration as a student
20 July, 2023
Price 2,000.00(CNY) 1,000.00(CNY)
The payment can be done by telegraphic transfer to the following account of CAAI. Please attach the transfer invoice in the registration form.
单位名称: 中国人工智能学会
开户银行: 中国工商银行北京新街口支行
账号: 0200002909200166203
行号: 102100000290
转账请务必备注: AILA2023+姓名+论文ID号

Please click here to submit the receipt information, and we will provide the receipt in the future.

Please contact Tingting Li by email at ttlee@jlu.edu.cn regarding any issues in relation to registration and payment.

Submission and Publication

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.

Honorary Chairs

Ruqian Lu,
Academy of Mathematics and Systems Science,Chinese Academy of Sciences
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


Publicity Chairs

Qiang Li,
Jilin University,
China
Yuxin Ye,
Jilin University,
China

Publication Chairs

Yiming Tang,
Hefei University of Technology,
China
Songmao Zhang,
Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China

Organization Chairs

Xin Li,
Jilin University,
China
Yong Zhang,
Shenzhen University,
China

Program Committee Members

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


Organization Committee Members

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

Contact Us

Any inquiry about the conferrence can be sent to

Zhaoguo Wang.

Wangzg21@mails.jlu.edu.cn

Co-Sponsorships

Chinese Association for Artificial Intelligence Jilin University Shenzhen University CCIS Springer