|
1 |
Complexity and Expressive Power of Description Logics with Numerical Constraints
De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
2 |
Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count
Baader, Franz. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
3 |
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
Context-Sensitive Description Logics in Dynamic Settings
Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
5 |
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of EL⊥ Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
6 |
On the Abstract Expressive Power of Description Logics with Concrete Domains
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
7 |
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
8 |
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
Baader, Franz. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
9 |
The Infimum Problem as a Generalization of the Inclusion Problem for Automata
Borgwardt, Stefan. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
10 |
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
Administration
