1

Expressive cardinality constraints on ALCSCC concepts

Electronic Proceeding
2

Decidability and Complexity of Fuzzy Description Logics

E-Article
3
4

Editorial

E-Article
5

What’s new in Description Logics

E-Article
6

Deduktion: von der Theorie zur Anwendung

E-Article
7

Small is Again Beautiful in Description Logics

E-Article
8

Automata-Based Axiom Pinpointing

E-Article
9

Preface to Special Issue on Reasoning in Description Logics

E-Article
10

19th International Conference on Automated Deduction (CADE-19)

E-Article
11

An Overview of Tableau Algorithms for Description Logics

by: Baader, Franz
In: Studia Logica (2001)
E-Article
12
13

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

E-Article
14

Word Equations and Related Topics: Unification theory

E-Chapter
15
16
17
18

Unification in commutative theories

E-Article
19
20

A note on unification type zero

E-Article