R-Calculus, V: Description Logics
Yuefei Sui, Wei Li
PDF
ca. 181,89 €
Naturwissenschaften, Medizin, Informatik, Technik / Informatik
Beschreibung
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.
Weitere Titel von diesem Autor
Weitere Titel in dieser Kategorie
Kundenbewertungen
Schlagwörter
Description Logics, R-calculus, Gentzen Deduction System, Multisequents, Soundness and Completeness, Role Constructors, Post Three-valued Logic