KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Artificial Intelligence Logic and Applications
Band 2668 - 10%

Artificial Intelligence Logic and Applications 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings

Aus der Reihe Communications in Computer and Information Science
10% sparen

73,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025.

The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions....

Beschreibung

This book constitutes the proceedings of the 5th International Conference on Artificial Intelligence Logic and Applications, AILA 2025, held in Xi'an, China, during August 16–17, 2025.


The 12 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 34 submissions. The papers are organized in the following topical sections: Explainable AI; Knowledge Systems; Norms and Metrics; Probabilistic and Fuzzy Systems; Optimization and Efficiency; Specification and Verification.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

11.06.2026
Abbildungen

XXII, 244 p. 53 illus., 39 illus. in color.
Herausgeber Marcello Bonsangue + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

11.06.2026
Abbildungen

XXII, 244 p. 53 illus., 39 illus. in color.
Herausgeber
Verlag Springer Singapore
Seitenzahl

244
Maße (L/B/H)

23,5/15,5/1,5 cm
Gewicht

411 g
Auflage

1. Auflage
Sprache

Englisch
ISBN

978-981-9582-61-7
Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Artificial Intelligence Logic and Applications


  • .- Invited Talks.




    .- Logic for Reinforcement Learning.



    .- Possibilistic Temporal Logic: Decidability and Complete Axiomatization.



    .- Extending Hoare logic to hybrid systems.



    .- Ensemble Logic: a Unified Framework for Temporal, Spatial, and Spatial-Temporal Reasoning.



    .- A Formal Semantics for Generic Sentences and Metaphorical Sentences.




    .- Explainable AI.




    .- Formal Semantics in XAI: A Categorical Diagrammatic Framework.



    .- The Interpretability Analysis of DCNN Models Based on Structured Pruning Compression.



    .- FairShap: A Fairness Framework Based Explainable Machine Learning.




    .- Knowledge Systems.




    .- Improving the Agent’s Formalization of Relevance: An Epistemic Logic Grounded in Possible Knowledge Bases.





    .- Formal Concept Analysis applied in Knowledge Network: A survey.




    .- Norms and Metrics.




    .- Universal First-Order Theory of Relative Nearness for All Metric Spaces.



    .- On Residual Co-implications Derived from q-Rung Orthopair Fuzzy t-Conorms.



    .- Preservation of Superdistributivity between Triangular Norms under Transformations.



    .- The Modularity Condition of T-uninorms over Semi-t-operators.




    .- Probabilistic and Fuzzy Systems.




    .- Multi-view Discriminant Analysis with Posterior Probability Graph Weighting.



    .- MFGB-S3W Denoiser: Multi-scale Fuzzy Granular-Ball and Sequential Three-Way Decision for Remote Sensing Image Denoising.



    .- Response Performance of Fuzzy Systems Derived From the Symmetric



    Quintuple Implicational Method.




    .- Optimization and Efficiency.




    .- Optimization Scheme for Flexible Job Shop Scheduling Considering Parallel Operations and Sequence Constraints of Jobs.



    .- Density-Aware Pairwise Constraint Propagation via Bidirectional TreesDensity-Aware Pairwise Constraint Propagation via Bidirectional Trees.



    .- Efficient Algorithm and Implementation for Boole Reduction of Large Logic Expressions.




    .- Specification and Verification.




    .- Logics for Kleene Algebra with Modal Operators: Kripke-completeness and FMP.



    .- Parameterized Dynamic Logic – Towards A Cyclic Logical Framework for General Program Specification and Verification.



    .- A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicles.