Muutke küpsiste eelistusi

Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 2628, 2022, Proceedings 1st ed. 2022 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 287 pages, kõrgus x laius: 235x155 mm, kaal: 468 g, 11 Illustrations, color; 73 Illustrations, black and white; XVI, 287 p. 84 illus., 11 illus. in color., 1 Paperback / softback
  • Sari: Communications in Computer and Information Science 1657
  • Ilmumisaeg: 11-Dec-2022
  • Kirjastus: Springer Verlag, Singapore
  • ISBN-10: 9811975094
  • ISBN-13: 9789811975097
  • Pehme köide
  • Hind: 71,86 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 84,54 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 287 pages, kõrgus x laius: 235x155 mm, kaal: 468 g, 11 Illustrations, color; 73 Illustrations, black and white; XVI, 287 p. 84 illus., 11 illus. in color., 1 Paperback / softback
  • Sari: Communications in Computer and Information Science 1657
  • Ilmumisaeg: 11-Dec-2022
  • Kirjastus: 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.