LEADER 03103nam  22007335  450 
001 9910799238103321
005 20240628140415.0
010   $a981-9964-60-1
024 7 $a10.1007/978-981-99-6460-4
035   $a(CKB)29551279200041
035   $a(DE-He213)978-981-99-6460-4
035   $a(MiAaPQ)EBC31094188
035   $a(Au-PeEL)EBL31094188
035   $a(EXLCZ)9929551279200041
100   $a20240105d2024      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aR-Calculus, V: Description Logics /$fby Wei Li, Yuefei Sui
205   $a1st ed. 2024.
210  1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024.
215   $a1 online resource (XIII, 384 p. 4 illus., 1 illus. in color.) 
225 1 $aPerspectives in Formal Induction, Revision and Evolution,$x2731-3697
311 08$a9789819964598 
320   $aIncludes bibliographical references.
327   $aIntroduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi for Post three-valued DL -- R-calculi for B22-valued DL -- R-calculi for Post L4 -valued DL -- Undecidable DLs -- Introduction -- Role R-calculus for binary-valued DL -- Role R-calculus for Post three-valued DL -- Role R-calculus for B22 -valued DL -- Role R-calculus for Post L4-valued DL -- A Finite injury priority method.
330   $aThis fifth volume of the book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. .
410  0$aPerspectives in Formal Induction, Revision and Evolution,$x2731-3697
606   $aMachine theory
606   $aLogic, Symbolic and mathematical
606   $aLogic programming
606   $aMathematical models
606   $aComputer science$xMathematics
606   $aBig data
606   $aFormal Languages and Automata Theory
606   $aMathematical Logic and Foundations
606   $aLogic in AI
606   $aMathematical Modeling and Industrial Mathematics
606   $aMathematics of Computing
606   $aBig Data
615  0$aMachine theory.
615  0$aLogic, Symbolic and mathematical.
615  0$aLogic programming.
615  0$aMathematical models.
615  0$aComputer science$xMathematics.
615  0$aBig data.
615 14$aFormal Languages and Automata Theory.
615 24$aMathematical Logic and Foundations.
615 24$aLogic in AI.
615 24$aMathematical Modeling and Industrial Mathematics.
615 24$aMathematics of Computing.
615 24$aBig Data.
676   $a515
700   $aLi$b Wei$f1625-1684,$01768882
702   $aSui$b Yuefei
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910799238103321
996   $aR-Calculus, V: Description Logics$94234222
997   $aUNINA