Holger Sturm

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems CoRR (2011)
Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
Logics of metric spaces. ACM Trans. Comput. Log. 4 (2) (2003)
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. 16 (2002)
Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
Axiomatizing Distance Logics. J. Appl. Non Class. Logics 12 (3-4) (2002)
Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica 72 (2) (2002)
Holger Sturm, Frank Wolter
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12 (5) (2002)
Holger Sturm, Frank Wolter
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philos. Log. 30 (6) (2001)
Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
Tableaux for Temporal Description Logic with Constant Domains. IJCAR (2001)
Holger Sturm
Modal Horn Classes. Stud Logica 64 (3) (2000)
Holger Sturm
Elementary Classes in Basic Modal Logic. Stud Logica 64 (2) (2000)
Holger Sturm, Frank Wolter, Michael Zakharyaschev
Monodic Epistemic Predicate Logic. JELIA (2000)
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics. Description Logics (2000)
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA (2000)
Holger Sturm
. Notre Dame J. Formal Log. 39 (2) (1998)

Holger Sturm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Holger Sturm