ENGLISH

R-Calculus, V: Description Logics

By Li Wei , Yuefei Sui

Book information

Publisher
Springer
Year
2025
ISBN
9789819964598, 9789819964604
Language
english
Format
PDF
Filesize
3 MB (3128491 bytes)
Pages
392\393
Topic
Mathematics Logic
Orientation
portrait
Paginated
yes
Scanned
no
Time added
2024-01-12 16:06:02

Description

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.

Similar books