- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Dissertation, 2023
- Keyword
-
Terminologische Logik
Wissensrepräsentation
Inferenz
Temporale Logik
Kontextbezogenes System
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2024
- Creator
- Contributor
- URN
-
urn:nbn:de:bsz:14-qucosa2-901744
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tirtarasa, Satyadharma
- Baader, Franz
- Artale, Alessandro
- Technische Universität Dresden
Time of origin
- 2024
Other Objects (12)
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Unification of Concept Terms in Description Logics : Revised Version
Description Logics with Aggregates and Concrete Domains, Part II
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Unification of Concept Terms in Description Logics : Revised Version
Description Logics with Aggregates and Concrete Domains, Part II
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Description Logics with Symbolic Number Restrictions
Unfication of Concept Terms in Description Logics
Description Logics with Aggregates and Concrete Domains
Number Restrictions on Complex Roles in Description Logics
Unification of Concept Terms in Description Logics : Revised Version
Description Logics with Aggregates and Concrete Domains, Part II
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures