SpringerLink
Log in

Artificial Intelligence Logic and Applications

The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Songmao Zhang

    1. Chinese Academy of Sciences, Bei**g, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yonggang Zhang

    1. Jilin University, Changchun, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1917)

Included in the following conference series:

Conference proceedings info: AILA 2023.

  • 8232 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions.

This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.


Keywords

Table of contents (36 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. AI Logic Foundation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Evidence-Based Argumentation and Its Incremental Semantics

      • Chen Chen, Beishui Liao, Bin Wei
      Pages 3-17

    3. Non-negative Matrix Factorization Method Based on Mixed Gaussian Kernels

      • Zhenting Yang, Jihong Pei, Sicong Ye
      Pages 18-31

    4. Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts

      • Imran Ali, Yongming Li
      Pages 32-46

    5. A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means

      • Ze Lin, Yixiang Chen
      Pages 47-60

    6. A Trustworthiness Fuzzy Evaluation Model for Open Source Community

      • Xuecheng Hou, Ning Kang, Yixiang Chen
      Pages 61-74

    7. On Simple Perturbation of the α-Universal Triple I Algorithm via Specific Interval Implication Operators

      • Yiming Tang, Anyi Guo, Li Zhang, Jianwei Gao, Shujie Li
      Pages 75-89

    8. FDDKT:A Novel Knowledge Tracing Method by Fusing Difficulty and Discrimination for Intelligent Education

      • Changqing Wang, Zhefeng Yin, Zhenguo Zhang
      Pages 90-103

    9. Graph-Based Diagnostic Prediction Model Based on Global Visit Contexts

      • Liangli He, Jiaojiao Wang, **n Li
      Pages 104-117

    10. On Interval Perturbation of the α-Universal Triple I Algorithm for Unified Interval Implications

      • Yiming Tang, Yifan Huang, Zhiyuan Qi, Li Zhang, Jianwei Gao
      Pages 118-128

    11. Weighted Means Based on Triangular Norms

      • Chen Zhao, Lijun Sun, Gang Li
      Pages 129-136

  3. AI Logic Reasoning

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. An Abstraction Neural Network Generator for Efficient Formal Verification

      • Shengkai Xu, Min Zhang, **aodong Zheng, Zhaohui Wang, Bojie Shao
      Pages 139-152

    3. A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram

      • Wenqing Yi, He Wang, Zhigang Wang, Yuanjie Lu, Fang Yang
      Pages 153-161

    4. Comparison and Implementation of ROS-Based SLAM and Path Planning Methods

      • Haiyan Wang, Zhan Shi, Chuang Li, Fude Wang
      Pages 162-175

    5. A Diagnostic Model Generation Method Based on Clustering

      • **aoyu Wang
      Pages 176-187

    6. A Heterogeneous Multicore Co-scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster

      • **nyu Chen, Xueyi Chen, Yixiang Chen
      Pages 188-201

    7. Conceptual Clustering Based on Linguistic-Valued Layered Concept Lattice

      • Kuo Pang, Ning Kang, Li Zou, Mingyu Lu
      Pages 202-213

    8. Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction

      • Shipan Jiang, Shuwei Chen
      Pages 214-226
Back to top

Other volumes

  1. Artificial Intelligence Logic and Applications

Editors and Affiliations

  • Chinese Academy of Sciences, Bei**g, China

    Songmao Zhang

  • Jilin University, Changchun, China

    Yonggang Zhang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation