| 2003 |
|---|
| 12 | EE | Oliver Kutz,
Frank Wolter,
Holger Sturm,
Nobu-Yuki Suzuki,
Michael Zakharyaschev:
Logics of metric spaces.
ACM Trans. Comput. Log. 4(2): 260-294 (2003) |
| 2002 |
|---|
| 11 | EE | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics and Abstract Description Systems.
J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002) |
| 10 | EE | Holger Sturm,
Frank Wolter:
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.
J. Log. Comput. 12(5): 809-838 (2002) |
| 9 | | Oliver Kutz,
Holger Sturm,
Nobu-Yuki Suzuki,
Frank Wolter,
Michael Zakharyaschev:
Axiomatizing Distance Logics.
Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002) |
| 8 | | Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
A Tableau Decision Algorithm for Modalized ALC with Constant Domains.
Studia Logica 72(2): 199-232 (2002) |
| 2001 |
|---|
| 7 | EE | Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
Tableaux for Temporal Description Logic with Constant Domains.
IJCAR 2001: 121-136 |
| 2000 |
|---|
| 6 | EE | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics.
Description Logics 2000: 21-30 |
| 5 | EE | Holger Sturm,
Frank Wolter,
Michael Zakharyaschev:
Monodic Epistemic Predicate Logic.
JELIA 2000: 329-344 |
| 4 | EE | Holger Sturm,
Nobu-Yuki Suzuki,
Frank Wolter,
Michael Zakharyaschev:
Semi-qualitative Reasoning about Distances: A Preliminary Report.
JELIA 2000: 37-56 |
| 3 | | Holger Sturm:
Elementary Classes in Basic Modal Logic.
Studia Logica 64(2): 193-213 (2000) |
| 2 | | Holger Sturm:
Modal Horn Classes.
Studia Logica 64(3): 301-313 (2000) |
| 1998 |
|---|
| 1 | | Holger Sturm:
Interpolation and Preservation in MLomega 1.
Notre Dame Journal of Formal Logic 39(2): 190-211 (1998) |
