5570 results in Programming Languages and Applied Logic
8 - Ontology Languages and Applications
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 205-227
-
- Chapter
- Export citation
4 - Reasoning in DLs with Tableau Algorithms
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 69-105
-
- Chapter
- Export citation
2 - A Basic Description Logic
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 10-49
-
- Chapter
- Export citation
Contents
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp v-viii
-
- Chapter
- Export citation
References
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 234-251
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805218/73611/cover/9780521873611.jpg)
An Introduction to Description Logic
-
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017
3 - A Little Bit of Model Theory
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 50-68
-
- Chapter
- Export citation
Appendix - Description Logic Terminology
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 228-233
-
- Chapter
- Export citation
5 - Complexity
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 106-139
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 1-9
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp i-iv
-
- Chapter
- Export citation
6 - Reasoning in the EL Family of Description Logics
-
- Book:
- An Introduction to Description Logic
- Published online:
- 13 June 2017
- Print publication:
- 07 April 2017, pp 140-167
-
- Chapter
- Export citation
Chapter XI - Bounding Minimal Degrees with Recursively Enumerable Degrees
- from Part C - Initial Segments of D and the Jump Operator
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 212-220
-
- Chapter
- Export citation
Appendix A - Coding into Structures and Theories
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 262-272
-
- Chapter
- Export citation
Chapter VI - Finite Distributive Lattices
- from Part B - Countable Ideals of Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 118-147
-
- Chapter
- Export citation
Part A - The Structure of the Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 5-6
-
- Chapter
- Export citation
Preface to the Series Perspectives in Mathematical Logic
-
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp vii-viii
-
- Chapter
- Export citation
Notation Index
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 298-301
-
- Chapter
- Export citation
Chapter X - Jumps of Minimal Degrees
- from Part C - Initial Segments of D and the Jump Operator
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 198-211
-
- Chapter
- Export citation
Chapter V - Minimal Degrees
- from Part B - Countable Ideals of Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 101-117
-
- Chapter
- Export citation