Artificial Intelligence Logic and Applications

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

AvMarcello Bonsangue,Yixiang Chen

Häftad, Engelska, 2026

Del i serien Communications in Computer and Information Science

1 235 kr

Kommande

Beskrivning

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

Utgivningsdatum:2026-06-10
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Communications in Computer and Information Science
Antal sidor:219
Förlag:Springer Verlag, Singapore
ISBN:9789819582617

Utforska kategorier

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

Innehållsförteckning

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