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.
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.
Produktdetails
Produktdetails
Communications in Computer and Information Science 2248
.- 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.
.- 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
