Overview
- Covers decidable description logics and undecidable description logics
- Gives the R-calculi for for description logics
- Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Part of the book series: Perspectives in Formal Induction, Revision and Evolution (PFIRE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
This 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.
Authors and Affiliations
About the authors
Wei Li is a Professor in the School of Computer Science and Engineering, Beihang University, Beijing, China and is a member of the Chinese Academy of Sciences. Li is mostly engaged in the applied research of Computer Software and Theory, and the Internet, including programming languages, software development, artificial intelligence, and integrated circuit design.
Yuefei Sui is a Professor in the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His main interests include knowledge representation, applied logic and the theory of computation.
Bibliographic Information
Book Title: R-Calculus, V: Description Logics
Authors: Wei Li, Yuefei Sui
Series Title: Perspectives in Formal Induction, Revision and Evolution
DOI: https://doi.org/10.1007/978-981-99-6460-4
Publisher: Springer Singapore
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Science Press 2024
Hardcover ISBN: 978-981-99-6459-8Published: 06 January 2024
Softcover ISBN: 978-981-99-6462-8Due: 06 February 2024
eBook ISBN: 978-981-99-6460-4Published: 05 January 2024
Series ISSN: 2731-3689
Series E-ISSN: 2731-3697
Edition Number: 1
Number of Pages: XIII, 384
Number of Illustrations: 3 b/w illustrations, 1 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Logic in AI, Mathematical Modeling and Industrial Mathematics, Mathematics of Computing, Big Data