Del i serien Communications in Computer and Information Science

Artificial Intelligence Logic and Applications

5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings

Häftad, Engelska, 2026

1 109 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2026-06-11
Mått155 x 235 x 17 mm
Vikt410 g
FormatHäftad
SpråkEngelska
SerieCommunications in Computer and Information Science
Antal sidor244
FörlagSpringer Verlag, Singapore
ISBN9789819582617

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

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

Du kanske också är intresserad av

Formal Methods for Components and Objects

Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

Häftad, 2003

739 kr

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

Häftad, 2012

1 439 kr

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

Inbunden, 2001

1 439 kr

Data Science and Artificial Intelligence

Chutiporn Anutariya, Marcello Bonsangue, Amalka Pinidiyaarachchi, Hakim Usoof

Häftad, 2025

1 109 kr

Del 9660

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

Häftad, 2016

739 kr