Buch, Englisch, Band 1657, 287 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings
Buch, Englisch, Band 1657, 287 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 464 g
Reihe: Communications in Computer and Information Science
ISBN: 978-981-19-7509-7
Verlag: Springer Nature Singapore
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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 Rl-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.