封面圖片

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

Saved in:

書目詳細資料
Main Authors:	Li, Wei (Author), Sui, Yuefei (Author)
企業作者:	SpringerLink (Online service)
格式:	電子電子書
語言:	英语
出版:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
版:	1st ed. 2024.
叢編:	Perspectives in Formal Induction, Revision and Evolution,
主題:	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.
在線閱讀:	https://doi.org/10.1007/978-981-99-6460-4
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

R-Calculus, IV: Propositional Logic
由: Li, Wei, et al.
出版: (2023)

R-Calculus, VI: Finite Injury Priority Method
由: Li, Wei, et al.
出版: (2025)

Institution-independent Model Theory
由: Diaconescu, Răzvan
出版: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
出版: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
由: Hoffmann, Dirk W.
出版: (2025)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
出版: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
出版: (2025)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
出版: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
出版: (2024)

An Invitation to Mathematical Logic
由: Marker, David
出版: (2024)

New Directions in Relevant Logic
出版: (2025)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
由: Viale, Matteo
出版: (2024)

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
由: Hoffmann, Dirk W.
出版: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
出版: (2025)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
由: Halbeisen, Lorenz, et al.
出版: (2025)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
出版: (2024)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
出版: (2023)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
出版: (2025)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
由: Rodríguez-Consuegra, Francisco
出版: (2025)

Philosophy of Mathematics in Antiquity and in Modern Times
由: Felgner, Ulrich
出版: (2023)

An Introduction to Naïve Set Theory and Its Applications
由: Srivastava, Shashi Mohan
出版: (2024)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
由: Batzoglou, Serafim
出版: (2024)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
出版: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
出版: (2024)

Logic and Set Theory /
由: Philip, N.
出版: (1979)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
出版: (2024)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
出版: (2025)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
由: Halbeisen, Lorenz J.
出版: (2025)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
由: Farmer, William M.
出版: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
由: Farmer, William M.
出版: (2025)

Kurt Gödel: Results on Foundations
出版: (2023)

Logic in Computer Science
由: Zhang, Hantao, et al.
出版: (2025)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
由: Church, Alonzo
出版: (1996)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
由: Schreiner, Wolfgang
出版: (2023)

Introduction to Logic /
由: Suppes, Patrick
出版: (1957)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
出版: (2023)

Diagrams and Gestures Mathematics, Philosophy, and Linguistics /
出版: (2023)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
出版: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
出版: (2025)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
出版: (2024)