Cantitate/Preț
Produs

Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings: Communications in Computer and Information Science, cartea 1657

Editat de Yixiang Chen, Songmao Zhang
en Limba Engleză Paperback – 11 dec 2022
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.

The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic;  applications;  author index.
Citește tot Restrânge

Din seria Communications in Computer and Information Science

Preț: 49978 lei

Preț vechi: 62472 lei
-20% Nou

Puncte Express: 750

Preț estimativ în valută:
9570 9872$ 7931£

Carte tipărită la comandă

Livrare economică 20 februarie-06 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789811975097
ISBN-10: 9811975094
Pagini: 287
Ilustrații: XVI, 287 p. 84 illus., 11 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.43 kg
Ediția:1st ed. 2022
Editura: Springer Nature Singapore
Colecția Springer
Seria Communications in Computer and Information Science

Locul publicării:Singapore, Singapore

Cuprins

Program Logic.-​ Finite Quantified Linear Temporal Logic and its Satisfiability Checking.- Quantitative BAN Logic Based on Belief Degree.- Predicate Logic Network: Vision Concept Formation.- Approximate Simulation for Transition Systems with Regular Expressions.- On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm.- Fuzzy Logic.- Viewpoint-Driven Subspace Fuzzy C-Means Algorithm.- TOPSIS Method based on Intuitionistic Fuzzy with Linguistic Concept.- Properties of Fuzzy λ-Approximate Context-Free Languages.- Fuzzy-Classical Linguistic Concept Acquisition Approach based on Attribute Topology.- Generalized Convex Combinations of T-norms on Bounded Lattices.- A Transformation Model for Different Granularity Linguistic Concept Formal Context.- Paraconsistent Rough Set Algebras.- Applications.- A Generalization of Bounded Commutative Rℓ-Monoids.- On the Weak Dominance Relation between Conjunctors.- New Modification to ToulminModel as an Analytical Framework for Argumentative Essays.- Value-based Preference Aggregation Argument Framework and Its Application.- A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.- A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set.- The Trustworthiness Measurement Model of Component-Based Software based on Combination Weight.- Author Index.