000 | 02973nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-981-99-6460-4 | ||
003 | DE-He213 | ||
005 | 20240423130317.0 | ||
007 | cr nn 008mamaa | ||
008 | 240105s2024 si | s |||| 0|eng d | ||
020 |
_a9789819964604 _9978-981-99-6460-4 |
||
024 | 7 |
_a10.1007/978-981-99-6460-4 _2doi |
|
050 | 4 | _aQA267-268.5 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a005.131 _223 |
100 | 1 |
_aLi, Wei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aR-Calculus, V: Description Logics _h[electronic resource] / _cby Wei Li, Yuefei Sui. |
250 | _a1st ed. 2024. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2024. |
|
300 |
_aXIII, 384 p. 4 illus., 1 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 |
_aPerspectives in Formal Induction, Revision and Evolution, _x2731-3697 |
|
505 | 0 | _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. | |
520 | _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. . | ||
650 | 0 | _aMachine theory. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aLogic programming. | |
650 | 0 | _aMathematical models. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aBig data. | |
650 | 1 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aLogic in AI. |
650 | 2 | 4 | _aMathematical Modeling and Industrial Mathematics. |
650 | 2 | 4 | _aMathematics of Computing. |
650 | 2 | 4 | _aBig Data. |
700 | 1 |
_aSui, Yuefei. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789819964598 |
776 | 0 | 8 |
_iPrinted edition: _z9789819964611 |
776 | 0 | 8 |
_iPrinted edition: _z9789819964628 |
830 | 0 |
_aPerspectives in Formal Induction, Revision and Evolution, _x2731-3697 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-981-99-6460-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cSPRINGER | ||
999 |
_c187236 _d187236 |