|
1 |
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder
Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
Context-Sensitive Description Logics in Dynamic Settings
Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
3 |
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of EL⊥ Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
4 |
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
|
|
|
|
5 |
On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
Baader, Franz. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
6 |
The Infimum Problem as a Generalization of the Inclusion Problem for Automata
Borgwardt, Stefan. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
7 |
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
8 |
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
9 |
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries
Xu, Chao. - Dresden : Technische Universität Dresden, 2023
|
|
|
|
10 |
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
|
|
Administration
