LEADER 01266nam 2200349 n 450 001 996394317303316 005 20221108045321.0 035 $a(CKB)3810000000009903 035 $a(EEBO)2240926404 035 $a(UnM)9928132700971 035 $a(UnM)99831762 035 $a(EXLCZ)993810000000009903 100 $a19951025d1665 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 00$aLondons disease, and cure: being a soveraigne receipt against the plague, for prevention sake. By John Qvarles, philo-medicus$b[electronic resource] 210 $aLondon $cprinted by Edward Crowch, dwelling on Snow-hill$d1665 215 $a1 sheet ([1] p.) 300 $aVerse - "THere's none so ignorant, I hope, but knowes,". 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aPlague$zEngland$vPoetry$vEarly works to 1800 615 0$aPlague 700 $aQuarles$b John$f1624-1665.$01002117 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996394317303316 996 $aLondons disease, and cure: being a soveraigne receipt against the plague, for prevention sake. By John Qvarles, philo-medicus$92403937 997 $aUNISA LEADER 07257nam 2200565 450 001 9910743342703321 005 20231110222715.0 010 $a981-16-9293-9 010 $a981-16-9294-7 010 $a981-16-9294-7 035 $a(MiAaPQ)EBC6951954 035 $a(Au-PeEL)EBL6951954 035 $a(CKB)21507173700041 035 $a(PPN)262171627 035 $a(EXLCZ)9921507173700041 100 $a20221119d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aR-calculus$hII $eMany-valued logics /$fWei Li, Yuefei Sui 210 1$aSingapore :$cScience Press,$d[2022] 210 4$d©2022 215 $a1 online resource (281 pages) 225 0 $aPerspectives in Formal Induction, Revision and Evolution 311 08$aPrint version: Li, Wei R-Calculus, II: Many-Valued Logics Singapore : Springer Singapore Pte. Limited,c2022 9789811692932 320 $aIncludes bibliographical references. 327 $aIntro -- Preface to the Series -- Preface -- Contents -- 1 Introduction -- 1.1 R-Calculus -- 1.2 Many-Valued Logics -- 1.3 Contents in the First Volume -- 1.4 Contents in This Volume -- 1.5 Notations -- References -- 2 R-Calculus for PL -- 2.1 Basic Definitions -- 2.2 Monotonic Tableau Proof Systems -- 2.2.1 Tableau Proof System Tf -- 2.2.2 Tableau Proof System Tt -- 2.3 Nonmonotonic Tableau Proof Systems -- 2.3.1 Tableau Proof System St -- 2.3.2 Tableau Proof System Sf -- 2.4 R-Calculi -- 2.4.1 R-Calculus Rt -- 2.4.2 R-Calculus Rf -- 2.5 Projecting R-Calculi to Tableau Proof Systems -- 2.6 Notes -- References -- 3 R-Calculus for Description Logic -- 3.1 Basic Definitions -- 3.2 Monotonic Tableau Proof Systems -- 3.2.1 Tableau Proof System Tt -- 3.2.2 Tableau Proof System Tf -- 3.3 Nonmonotonic Tableau Proof Systems -- 3.3.1 Tableau Proof System St -- 3.3.2 Tableau Proof System Sf -- 3.4 R-Calculi -- 3.4.1 R-Calculus Rt -- 3.4.2 R-Calculus Rf -- 3.5 Projecting R-Calculi to Tableau Proof Systems -- References -- 4 R-Calculus for L3-Valued PL -- 4.1 Basic Definitions -- 4.2 Monotonic Tableau Proof Systems -- 4.2.1 Tableau Proof System Tt -- 4.2.2 Tableau Proof System Tm -- 4.2.3 Tableau Proof System Tf -- 4.3 Nonmonotonic Tableau Proof Systems -- 4.3.1 Tableau Proof System St -- 4.3.2 Tableau Proof System Sm -- 4.3.3 Tableau Proof System Sf -- 4.4 R-Calculi -- 4.4.1 R-Calculus Rt -- 4.4.2 R-Calculus Rm -- 4.4.3 R-Calculus Rf -- 4.5 Satisfiability and Unsatisfiability -- 4.5.1 t-Satisfiability and t-Unsatisfiability -- 4.5.2 m-Satisfiability and m-Unsatisfiability -- 4.5.3 f-Satisfiability and f-Unsatisfiability -- 4.6 Projecting R-Calculi to Tableau Proof Systems -- 4.7 Notes -- References -- 5 R-Calculus for L3-Valued PL, II -- 5.1 Monotonic Tableau Proof Systems -- 5.1.1 Tableau Proof System Tt -- 5.1.2 Tableau Proof System Tm. 327 $a5.1.3 Tableau Proof System Tf -- 5.2 Nonmonotonic Tableau Proof Systems -- 5.2.1 Tableau Proof System St -- 5.2.2 Tableau Proof System Sm -- 5.2.3 Tableau Proof System Sf -- 5.3 R-Calculi -- 5.3.1 R-Calculus Rt -- 5.3.2 R-Calculus Rm -- 5.3.3 R-Calculus Rf -- 5.4 Validity and Invalidity -- 5.4.1 t-Invalidity and t-Validity -- 5.4.2 m-Invalidity and m-Validity -- 5.4.3 f-Invalidity and f-Validity -- 5.5 Projecting R-Calculi to Tableau Proof Systems -- References -- 6 R-Calculus for B22-Valued PL -- 6.1 Basic Definitions -- 6.2 Monotonic Tableau Proof Systems -- 6.2.1 Tableau Proof System Tt -- 6.2.2 Tableau Proof System T -- 6.2.3 Tableau Proof System Tperp -- 6.2.4 Tableau Proof System Tf -- 6.3 Nonmonotonic Tableau Proof Systems -- 6.3.1 Tableau Proof System St -- 6.3.2 Tableau Proof System S -- 6.3.3 Tableau Proof System Sperp -- 6.3.4 Tableau Proof System Sf -- 6.4 R-Calculi -- 6.4.1 R-Calculus Rt -- 6.4.2 R-Calculus R -- 6.4.3 R-Calculus Rperp -- 6.4.4 R-Calculus Rf -- 6.5 Projecting R-Calculi to Tableau Proof Systems -- 6.6 Notes -- References -- 7 R-Calculus for B22-Valued PL,II -- 7.1 Monotonic Tableau Proof Systems Tast1ast2 -- 7.1.1 Tableau Proof System Tt -- 7.1.2 Tableau Proof System Ttperp -- 7.2 Tableau Proof Systems Tast1ast2 -- 7.2.1 Tableau Proof System Tt -- 7.2.2 Tableau Proof System Ttperp -- 7.3 Nonmonotonic Tableau Proof Systems -- 7.3.1 Tableau Proof System St -- 7.3.2 Tableau Proof System Stperp -- 7.3.3 Tableau Proof System St -- 7.3.4 Tableau Proof System Stperp -- 7.4 R-Calculi -- 7.4.1 R-Calculus Rt -- 7.4.2 R-Calculus Rtperp -- 7.4.3 R-Calculus Rf -- 7.4.4 R-Calculus Rfperp -- 7.5 Projecting R-Calculi to Tableau Proof Systems -- 7.6 Notes -- References -- 8 Co-R-Calculus for PL -- 8.1 Co-R-calculi in Propositional Logic -- 8.1.1 Co-R-Calculus Ut -- 8.1.2 Co-R-Calculus Uf -- 8.2 Co-R-Calculi in L3-Valued PL. 327 $a8.2.1 Co-R-Calculus Ut -- 8.2.2 Co-R-Calculus Um -- 8.2.3 Co-R-Calculus Uf -- 8.3 Co-R-Calculi in B22-Valued Propositional Logic -- 8.3.1 Co-R-Calculus Ut -- 8.4 Notes -- References -- 9 Multisequents and Hypersequents -- 9.1 Tableau Proof Systems -- 9.1.1 Tableau-Typed Proof System Tt -- 9.1.2 Tableau Proof System Tt -- 9.2 Sequents in L3-Valued Propositional Logic -- 9.2.1 Gentzen Deduction System for ?? -- 9.2.2 Gentzen Deduction System for ?? -- 9.2.3 Gentzen Deduction System for ?? -- 9.3 Multisequents in L3-Valued PL -- 9.3.1 Multisequents -- 9.3.2 Co-Multisequents -- 9.4 Hypersequents in L3-Valued PL -- 9.5 Notes -- References -- 10 Product of Two R-Calculi -- 10.1 Tableau Proof Systems in Modalized PL -- 10.1.1 Monotonic Tableau Proof Systems -- 10.1.2 Nonmonotonic Tableau Proof Systems -- 10.2 Product of B2-Valued PLs -- 10.2.1 Tableau Proof System P4t -- 10.2.2 Tableau Proof System P4t -- 10.2.3 Tableau Proof System Qt -- 10.3 Product of Two R-Calculi -- 10.3.1 R-Calculi Rt2 and Rf2 -- 10.3.2 R-Calculus U4t -- 10.4 Notes -- References -- 11 Sum of Two R-Calculi -- 11.1 The Sum with One Common Element -- 11.1.1 B2[f,m]oplusB2[m,t] -- 11.1.2 Operators on Tableau Proof Systems -- 11.1.3 Sum of Tableau Proof Systems -- 11.1.4 R-Calculi -- 11.1.5 R-Calculi in PL -- 11.1.6 R-Calculi in L3-Valued PL -- 11.2 The Sum Without Common Elements -- 11.2.1 L4-Valued PL -- 11.2.2 Equivalences -- 11.2.3 Tableau Proof System Tt4 -- 11.2.4 Tableau Proof System T4 -- 11.2.5 Tableau Proof System Tperp4 -- 11.2.6 Tableau Proof System Tf4 -- 11.2.7 Sum of Tableau Proof Systems: Tt4=sim2(Tt2)oplusTt2 -- 11.2.8 Sum of Tableau Proof Systems: Tt4=Tperp2oplusTt2 -- 11.2.9 Sum of Tableau Proof Systems: St4=Sperp2oplusSt2 -- 11.2.10 Sum of R-Calculi: Rt4equivRperp2oplusRt2 -- 11.3 Notes -- References. 410 0$aPerspectives in Formal Induction, Revision and Evolution 606 $aCalculus 606 $aLogic, Symbolic and mathematical 606 $aComputer logic 606 $aR (Computer program language) 615 0$aCalculus. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer logic. 615 0$aR (Computer program language). 676 $a515 700 $aLi$b Wei$f1943 June-$01426691 702 $aSui$b Yuefei 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910743342703321 996 $aR-calculus$93558812 997 $aUNINA LEADER 03719nam 22007215 450 001 9910743341103321 005 20251107172542.0 010 $a981-16-9423-0 010 $a981-16-9422-2 010 $a981-16-9423-0 024 7 $a10.1007/978-981-16-9423-3 035 $a(MiAaPQ)EBC6935084 035 $a(Au-PeEL)EBL6935084 035 $a(CKB)21418405300041 035 $a(PPN)261519182 035 $a(OCoLC)1305167903 035 $a(DE-He213)978-981-16-9423-3 035 $a(EXLCZ)9921418405300041 100 $a20220321d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aArtificial Intelligence in China $eProceedings of the 3rd International Conference on Artificial Intelligence in China /$fedited by Qilian Liang, Wei Wang, Jiasong Mu, Xin Liu, Zhenyu Na 205 $a1st ed. 2022. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2022. 215 $a1 online resource (728 pages) 225 1 $aLecture Notes in Electrical Engineering,$x1876-1119 ;$v854 311 08$aPrint version: Liang, Qilian Artificial Intelligence in China Singapore : Springer Singapore Pte. Limited,c2022 9789811694226 320 $aIncludes bibliographical references and index. 327 $aDeep Learning and Neural Networks -- Machine Learning -- Computer Vision -- Knowledge Representation and Reasoning -- Probabilistic Reasoning -- Statistical Learning -- Reinforcement Learning -- Decision Making -- Fuzzy Systems -- Evolutionary Computing -- Inference and Prediction -- Human-Inspired Learning and Computing -- Autonomous Vehicle -- Data Mining -- Spoken Language Processing -- Pattern Analysis and Recognition -- Robotics -- AI for Sensing -- AI for Communications -- AI for Internet of Things -- AI for Signal Processing -- AI for Education -- AI for Healthcare -- AI for Other Applications. 330 $aThis book brings together papers presented at the 3rd International Conference on Artificial Intelligence in China (ChinaAI), which provides a venue to disseminate the latest developments and to discuss the interactions and links between these multidisciplinary fields. Spanning topics covering all topics in Artificial Intelligence with new development in China, this book is aimed at undergraduate and graduate students in Electrical Engineering, Computer Science and Mathematics, researchers and engineers from academia and industry as well as government employees (such as NSF, DOD, DOE, etc). 410 0$aLecture Notes in Electrical Engineering,$x1876-1119 ;$v854 606 $aArtificial intelligence 606 $aTelecommunication 606 $aElectronic circuits 606 $aSignal processing 606 $aDatabase management 606 $aArtificial Intelligence 606 $aCommunications Engineering, Networks 606 $aElectronic Circuits and Systems 606 $aDigital and Analog Signal Processing 606 $aDatabase Management System 615 0$aArtificial intelligence. 615 0$aTelecommunication. 615 0$aElectronic circuits. 615 0$aSignal processing. 615 0$aDatabase management. 615 14$aArtificial Intelligence. 615 24$aCommunications Engineering, Networks. 615 24$aElectronic Circuits and Systems. 615 24$aDigital and Analog Signal Processing. 615 24$aDatabase Management System. 676 $a006.3 702 $aLiang$b Qilian 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910743341103321 996 $aArtificial Intelligence in China$92025640 997 $aUNINA