Artificial Intelligence Logic and Applications : 5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings (Communications in Computer and Information Science)

個数：

予約

Artificial Intelligence Logic and Applications : 5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings (Communications in Computer and Information Science)

Bonsangue, Marcello (EDT)/ Chen, Yixiang (EDT)

ウェブストア価格 ¥19,145（本体¥17,405）
Springer Verlag, Singapore（2026/05発売）
外貨定価 US$ 84.99
ポイント 174pt

現在予約受付中です。出版後の入荷・発送となります。
（重要：表示されている発売日は予定となり、発売が延期、中止、生産限定品で商品確保ができないなどの理由により、ご注文をお取消しさせていただく場合がございます。予めご了承ください。）

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Paperback:紙装版/ペーパーバック版
言語 ENG
商品コード 9789819582617

Full Description

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.

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