001451998 000__ 05116cam\a2200625\i\4500
001451998 001__ 1451998
001451998 003__ OCoLC
001451998 005__ 20230310003336.0
001451998 006__ m\\\\\o\\d\\\\\\\\
001451998 007__ cr\cn\nnnunnun
001451998 008__ 221228s2022\\\\si\a\\\\o\\\\\101\0\eng\d
001451998 019__ $$a1354631517$$a1355221932
001451998 020__ $$a9789811975103$$q(electronic bk.)
001451998 020__ $$a9811975108$$q(electronic bk.)
001451998 020__ $$z9789811975097
001451998 020__ $$z9811975094
001451998 0247_ $$a10.1007/978-981-19-7510-3$$2doi
001451998 035__ $$aSP(OCoLC)1356408395
001451998 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dBRX
001451998 049__ $$aISEA
001451998 050_4 $$aQ334
001451998 08204 $$a006.3$$223/eng/20221228
001451998 1112_ $$aInternational Conference on Artificial Intelligence Logic and Applications$$n(2nd :$$d2022 :$$cShanghai, China).
001451998 24510 $$aArtificial intelligence logic and applications :$$bthe 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings /$$cYixiang Chen, Songmao Zhang (eds.).
001451998 24630 $$aAILA 2022
001451998 264_1 $$aSingapore :$$bSpringer,$$c[2022]
001451998 264_4 $$c©2022
001451998 300__ $$a1 online resource (xvi, 287 pages) :$$billustrations (some color).
001451998 336__ $$atext$$btxt$$2rdacontent
001451998 337__ $$acomputer$$bc$$2rdamedia
001451998 338__ $$aonline resource$$bcr$$2rdacarrier
001451998 4901_ $$aCommunications in computer and information science,$$x1865-0937 ;$$v1657
001451998 500__ $$aInternational conference proceedings.
001451998 500__ $$aIncludes author index.
001451998 5050_ $$aIntro -- Preface -- Organization -- Keynotes -- Temporal Cohort Logic -- Qualitative Spatial and Temporal Reasoning -- A Unifying Logic for Neural Networks -- Contents -- Program Logic -- Finite Quantified Linear Temporal Logic and Its Satisfiability Checking -- 1 Introduction -- 2 Preliminaries -- 2.1 Linear Temporal Logic -- 2.2 First-Order Logic -- 3 FQLTL Language -- 3.1 Syntax and Semantics -- 3.2 FQLTL Satisfiability -- 4 Implementation -- 4.1 Three-Valued Logic -- 4.2 Implementation Process -- 5 Experiment and Case Study -- 5.1 Experiment -- 5.2 Case Study -- 6 Conclusion -- References
001451998 5058_ $$aQuantitative BAN Logic Based on Belief Degree -- 1 Introduction -- 2 Related Work -- 3 The Formalism of BAN Logic -- 3.1 Basic Notations and Logic Formulae in BAN Logic -- 3.2 Reasoning Rules in BAN Logic -- 4 Quantitative BAN Logic Based on Belief -- 5 Protocol Analysis Using Quantitative BAN Logic -- 5.1 The TSMCA PUF Protocol -- 6 Conclusion -- References -- Predicate Logic Network: Vision Concept Formation -- 1 Introduction -- 2 Related Work -- 2.1 Neural Symbolic Artificial Intelligence -- 2.2 Object-Centered Visual Concept Reasoning -- 3 Neural Predicate Network
001451998 5058_ $$a3.1 NPN Binary Classification Model -- 3.2 NPN Multi-classification Model -- 4 Experiments -- 4.1 Triangle Concept Identification -- 4.2 Chinese Calligraphy Style Concept Identification -- 5 Conclusion and Future Work -- References -- Approximate Simulation for Transition Systems with Regular Expressions -- 1 Introduction -- 2 Preliminaries -- 3 Approximate Simulation -- 4 Related Properties -- 5 Conclusion -- References -- On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm -- 1 Introduction -- 2 Preliminaries
001451998 5058_ $$a1 Introduction -- 2 Preliminaries -- 3 ( , ) -Colored Resolution of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic -- 4 ( , ) -Colored Resolution Algorithms of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic -- 5 Conclusion -- References -- Viewpoint-Driven Subspace Fuzzy C-Means Algorithm -- 1 Introduction -- 2 Related Works -- 3 The Proposed VSFCM Algorithm -- 3.1 Cluster Initialization Method Induced by Cut-off Distance -- 3.2 The Mechanism of VSFCM Algorithm -- 3.3 Framework of the VSFCM Algorithm -- 4 Experimental Studies -- 5 Conclusions -- References
001451998 506__ $$aAccess limited to authorized users.
001451998 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.
001451998 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed December 28, 2022).
001451998 650_0 $$aArtificial intelligence$$vCongresses.
001451998 650_0 $$aComputer logic$$vCongresses.
001451998 655_0 $$aElectronic books.
001451998 655_7 $$aConference papers and proceedings.$$2lcgft
001451998 7001_ $$aChen, Yixiang,$$d1961-$$eeditor.
001451998 7001_ $$aZhang, Songmao,$$eeditor.
001451998 77608 $$iPrint version: $$z9811975094$$z9789811975097$$w(OCoLC)1346213699
001451998 830_0 $$aCommunications in computer and information science ;$$v1657.$$x1865-0937
001451998 852__ $$bebk
001451998 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-19-7510-3$$zOnline Access$$91397441.1
001451998 909CO $$ooai:library.usi.edu:1451998$$pGLOBAL_SET
001451998 980__ $$aBIB
001451998 980__ $$aEBOOK
001451998 982__ $$aEbook
001451998 983__ $$aOnline
001451998 994__ $$a92$$bISE