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

Inhalt

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