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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2026

Abbildungen

XXII, 244 p. 53 illus., 39 illus. in color.

Herausgeber

Marcello Bonsangue + weitere

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

Beschreibung

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.