000			03634nam a22003735i 4500
001			394610
003			ES-MaUEC
005			20230102123143.0
007			cr nn 008mamaa
008			221209s2022 si | s |||| 0|eng d
020			_a9789811975103
024	7		_a10.1007/978-981-19-7510-3 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC
245	1	0	_aArtificial Intelligence Logic and Applications _bThe 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings _cedited by Yixiang Chen, Songmao Zhang
250			_a1st edition 2022
264		1	_aSingapore _bSpringer International Publishing _c2022
300			_a1 recurso en línea (XVI, 287 páginas) _b84 ilustraciones, 11 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
490	0		_aCommunications in Computer and Information Science _x1865-0937 _v1657
505	0		_aProgram 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 Toulmin Model 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.
520			_aThis 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.
700	1		_aChen, Yixiang _eeditor literario _0(orcid)0000-0003-1235-5530 _1https://orcid.org/0000-0003-1235-5530 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aZhang, Songmao _eeditor literario _0(orcid)0000-0003-4120-8273 _1https://orcid.org/0000-0003-4120-8273 _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9789811975097
776	0	8	_iPrinted edition: _z9789811975110
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-981-19-7510-3 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
988			_aSpringer_Computer_2022
999			_c394610 _d394610