Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "131845098"
im Bestand: Gesamter Bestand

1 - 10 von 163

	1	A finite basis for the set of EL-implications holding in a finite model Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	2	A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	3	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
	4	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
	5	A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	6	A New n-ary Existential Quantifier in Description Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	7	Adding Causal Relationships to DL-based Action Formalisms Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	8	Adding Threshold Concepts to the Description Logic EL Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	9	An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	10	Approximate Unification in the Description Logic FL₀ Baader, Franz. - Dresden : Technische Universität Dresden, 2022