Artificial Intelligence Logic and Applications

Logic is the primary base of Artificial Intelligence (AI). It provides a fundamental stone for AI and its applications. There are many fields of AI that are dependent on logic, such as decision-making, fraud detection, cybernetics, and precision medicine, to name a few. Logic serves as the foundation of reasoning where the soundness and completeness can be ensured. This conference aims to provide an opportunity and forum for researchers in AI logics and applications to present and share their novel ideas, original research results, and practical experiences. We hope that this can shed light on not only research of logics in AI but also potentials of incorporating logic into machine learning models. A wide range of topics are covered, including 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, Spatial and temporal logic,Automated reasoning and Monotonic reasoning, Approximate reasoning and Fuzzy reasoning, Granular computing and Soft computing, Logic programming, and Logic-based approaches in decision-making and image processing, Combining logics in deep learning and data mining, and other related themes.

Conference History

August 10-11, 2024

Lanzhou, China

  • Conference Chairs: Guanghui Yan, Guo-Qiang Zhang
  • Program Chairs: Luis Soares Barbosa, Songmao Zhang

August 5-6, 2023

Changchun, China

  • Conference Chairs: Yixiang Chen, Bo Yang
  • Program Chairs: Songmao Zhang, Yonggang Zhang

August 26-28, 2022

Shanghai, China

  • Conference Chairs: Ruqian Lu
  • Program Chairs: Yixiang Chen, Songmao Zhang

November 19-23, 2021

Dalian, China

  • Organization Chairs: Weixin Xie
  • Organization Chairs: Yixiang Chen