Vor Ort
Merkzettel Warenkorb
Produktbild: Artificial Intelligence Logic and Applications
- 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

71,99 € UVP 80,24 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.06.2026

Abbildungen

XXII, 53 illus., 39 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

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, 53 illus., 39 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

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 GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

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.