Description

Book Synopsis

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

Artificial Intelligence Logic and Applications

    Product form

    £64.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Wed 5 Aug 2026.

    A Paperback by Songmao Zhang

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Artificial Intelligence Logic and Applications by Songmao Zhang

      Publisher: Springer
      Publication Date: Publication Date: 12/03/2025
      ISBN13: 9789819603534, 978-9819603534
      ISBN10:
      Also in:
      Mathematical theory of computation

      Description

      Book Synopsis

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

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account