Overview

Full Product Details

Author:   Songmao Zhang ,  Luis Soares Barbosa
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Volume:   2248
ISBN:  

9789819603534

ISBN 10:   9819603536
Pages:   326
Publication Date:   31 January 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

.- 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions