000 | 04090nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-981-19-7510-3 | ||
003 | DE-He213 | ||
005 | 20240423125148.0 | ||
007 | cr nn 008mamaa | ||
008 | 221209s2022 si | s |||| 0|eng d | ||
020 |
_a9789811975103 _9978-981-19-7510-3 |
||
024 | 7 |
_a10.1007/978-981-19-7510-3 _2doi |
|
050 | 4 | _aQA267-268.5 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a005.131 _223 |
245 | 1 | 0 |
_aArtificial Intelligence Logic and Applications _h[electronic resource] : _bThe 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings / _cedited by Yixiang Chen, Songmao Zhang. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2022. |
|
300 |
_aXVI, 287 p. 84 illus., 11 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_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 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. | |
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. | ||
650 | 0 | _aMachine theory. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aMathematics of Computing. |
650 | 2 | 4 | _aSoftware Engineering. |
700 | 1 |
_aChen, Yixiang. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aZhang, Songmao. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789811975097 |
776 | 0 | 8 |
_iPrinted edition: _z9789811975110 |
830 | 0 |
_aCommunications in Computer and Information Science, _x1865-0937 ; _v1657 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-19-7510-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c174930 _d174930 |