Atjaunināt sīkdatņu piekrišanu

Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 2628, 2022, Proceedings 1st ed. 2022 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 287 pages, height x width: 235x155 mm, weight: 468 g, 11 Illustrations, color; 73 Illustrations, black and white; XVI, 287 p. 84 illus., 11 illus. in color., 1 Paperback / softback
  • Sērija : Communications in Computer and Information Science 1657
  • Izdošanas datums: 11-Dec-2022
  • Izdevniecība: Springer Verlag, Singapore
  • ISBN-10: 9811975094
  • ISBN-13: 9789811975097
  • Mīkstie vāki
  • Cena: 69,22 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 81,44 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 287 pages, height x width: 235x155 mm, weight: 468 g, 11 Illustrations, color; 73 Illustrations, black and white; XVI, 287 p. 84 illus., 11 illus. in color., 1 Paperback / softback
  • Sērija : Communications in Computer and Information Science 1657
  • Izdošanas datums: 11-Dec-2022
  • Izdevniecība: Springer Verlag, Singapore
  • ISBN-10: 9811975094
  • ISBN-13: 9789811975097
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.
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.