- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2023
- Schlagwort
-
Terminologische Logik
Wissensrepräsentation
Inferenz
Temporale Logik
Kontextbezogenes System
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:14-qucosa2-901744
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Tirtarasa, Satyadharma
- Baader, Franz
- Artale, Alessandro
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (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
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
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
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
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
Description Logics with Aggregates and Concrete Domains, Part II
Unification of Concept Terms in Description Logics : Revised Version
On the Complexity and Expressiveness of Description Logics with Counting
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures