|
|
|
|
| LEADER |
02100nmm a2200409 u 4500 |
| 001 |
EB002193696 |
| 003 |
EBX01000000000000001331161 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
240202 ||| eng |
| 020 |
|
|
|a 9789819964604
|
| 100 |
1 |
|
|a Li, Wei
|
| 245 |
0 |
0 |
|a R-Calculus, V: Description Logics
|h Elektronische Ressource
|c by Wei Li, Yuefei Sui
|
| 250 |
|
|
|a 1st ed. 2024
|
| 260 |
|
|
|a Singapore
|b Springer Nature Singapore
|c 2024, 2024
|
| 300 |
|
|
|a XIII, 384 p. 4 illus., 1 illus. in color
|b online resource
|
| 505 |
0 |
|
|a Introduction -- 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
|
| 653 |
|
|
|a Big data
|
| 653 |
|
|
|a Mathematics of Computing
|
| 653 |
|
|
|a Computer science / Mathematics
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Logic in AI.
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Machine theory
|
| 653 |
|
|
|a Mathematical Modeling and Industrial Mathematics
|
| 653 |
|
|
|a Big Data
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 653 |
|
|
|a Logic programming
|
| 653 |
|
|
|a Mathematical models
|
| 700 |
1 |
|
|a Sui, Yuefei
|e [author]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 490 |
0 |
|
|a Perspectives in Formal Induction, Revision and Evolution
|
| 028 |
5 |
0 |
|a 10.1007/978-981-99-6460-4
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-981-99-6460-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.131
|
| 520 |
|
|
|a This 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.
|