5570 results in Programming Languages and Applied Logic
2 - Basic Description Logics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 47-104
-
- Chapter
- Export citation
The Description Logic Handbook
- Theory, Implementation and Applications
-
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007
13 - Medical Informatics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 436-457
-
- Chapter
- Export citation
3 - Behavioural equivalences
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 31-74
-
- Chapter
- Export citation
Part II - Implementation
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 283-284
-
- Chapter
- Export citation
9 - Implementation and Optimization Techniques
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 329-374
-
- Chapter
- Export citation
Preface
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp x-xvi
-
- Chapter
- Export citation
14 - OWL: a Description-Logic-Based Ontology Language for the Semantic Web
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 458-486
-
- Chapter
- Export citation
11 - Timed behavioural equivalences
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 193-219
-
- Chapter
- Export citation
1 - Introduction
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 1-6
-
- Chapter
- Export citation
5 - Expressive Description Logics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 193-236
-
- Chapter
- Export citation
I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp -
-
- Chapter
- Export citation
10 - Conceptual Modeling with Description Logics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 377-401
-
- Chapter
- Export citation
16 - Description Logics for Databases
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 500-524
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 267-280
-
- Chapter
- Export citation
Reactive Systems
- Modelling, Specification and Verification
-
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007
List of contributors
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp ix-xii
-
- Chapter
- Export citation
13 - Modelling and analysis of Fischer's algorithm
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 248-260
-
- Chapter
- Export citation
Contents
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp v-viii
-
- Chapter
- Export citation