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