Cover Image
Read Now

R-Calculus, V: Description Logics

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...

Full description

Bibliographic Details
Main Authors: Li, Wei, Sui, Yuefei (Author)
Format: eBook
Language:English
Published: Singapore Springer Nature Singapore 2024, 2024
Edition:1st ed. 2024
Series:Perspectives in Formal Induction, Revision and Evolution
Subjects:
Big Data
Mathematics Of Computing
Computer Science / Mathematics
Mathematical Logic
Logic In Ai.
Formal Languages And Automata Theory
Machine Theory
Mathematical Modeling And Industrial Mathematics
Mathematical Logic And Foundations
Logic Programming
Mathematical Models
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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.
Physical Description:XIII, 384 p. 4 illus., 1 illus. in color online resource
ISBN:9789819964604

Similar Items