En savoir plus
This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10-11, 2024.
The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 submissions. The papers cover the following topics: AI logic foundation; AI logic reasoning; AI logic applications.
Table des matières
.- AI Logic Foundation.
.- Game Semantics for Modal Logic with Counting.
.- Adding concurrency to Quantum Dynamic Logic.
.- Lattices for Many-logics Modal Logic: constructions and representations.
.- A note to the construction of t-norms based on T nM.
.- Conditional Distributivity of S-uninorms and T-uninorms over Uninorms.
.- Fuzzy Integrals Induced From Semi-Quasi-Overlap (Grouping) Functions.
.- The Research on the multi-agent argumentation Semantics.
.- An exercise in Uppaal: Modelling the circadian clock of a cyanobacteria.
.- AI Logic Reasoning.
.- Semi-Quasi-Overlap Functions and Their Applications in Classifier Ensemble.
.- Data and Knowledge Dual-Driven Traffic Sign Recognition Algorithm.
.- Automatic Inspection of Static Application Security Testing (SAST) Reports via Large Language Model Reasoning.
.- Semantic Abstractions for Multi-label Classification.
.- Multi-granularity Semantic Representation and Rule-based Labeling for Relation Classification.
.- AI Logic Applications.
.- Feature Representation Learning based on Graph Curvature-revised Deep Graph Learning.
.- Non-negative Tensor Representation and Unsupervised Classification of Object Pose in Continuous Image Sequences.
.- An Optimal Scheduling Algorithm for Intelligent Embedded Heterogeneous Multicore System.
.- Kernel Cutset-type Possibility C-Means Algorithm for Gaussian Granularity.
.- Research on Fusion Modeling for Active Magnetic Bearings Based on Mechanism and Data Driven.
.- Multi-Objective Waterborne Trash Tracking based on D-StrongSORT.
.- A Contributor-Based Segmentation Model for Open Source Software Source Code Trustworthiness Measurement.
.- Facilitating the Propagation of Oscillatory Signals in Cortical Networks through Mixed Resonance.
.- An Empirical Study for Source Code Incompatibility Between Versions of Java Open-Source Software.
.- Exploring Multi-source Mobile Applications Association Discovery Based on Representation Learning.
.- Takagi-Sugeno Target Recognition Algorithm Based on Global Intuitionistic Fuzzy Method.
.- Automated Legality Detection on Privacy Policy Based on Deep Learning.
.- CNN lung sound recognition and classification model based on multi-feature fusion and data enhancement.
.- The Specialization of AGI: Exploration of Industrial Applications for General Artificial Intelligence.
