|
11 |
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
|
|
|
|
12 |
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries
Xu, Chao. - Dresden : Technische Universität Dresden, 2023
|
|
|
|
13 |
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
|
|
|
|
14 |
Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
|
|
|
|
15 |
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
|
|
|
|
16 |
A finite basis for the set of EL-implications holding in a finite model
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
|
|
|
|
17 |
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
|
|
|
|
18 |
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
|
|
|
|
19 |
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
|
|
|
|
20 |
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
|
|
Administration
