Omslagsbillede

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

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Main Authors: Li, Wei (Author), Sui, Yuefei (Author)
Institution som forfatter: SpringerLink (Online service)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Udgivelse:1st ed. 2024.
Serier:Perspectives in Formal Induction, Revision and Evolution,
Fag:
Machine theory.
Mathematical logic.
Logic programming.
Mathematical models.
Computer science > Mathematics.
Big data.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Logic in AI.
Mathematical Modeling and Industrial Mathematics.
Mathematics of Computing.
Big Data.
Online adgang:https://doi.org/10.1007/978-981-99-6460-4
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
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. .
Fysisk beskrivelse:1 online resource (XIII, 384 p. 4 illus.). 1 illus. in color.
ISBN:9789819964604
ISSN:2731-3697
DOI:10.1007/978-981-99-6460-4

Lignende værker