Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Holger Sturm
2010 – today
- 2011
[i1]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011)
2000 – 2009
- 2003
- [j9]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
- [j8]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)
- [j7]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)
- [j6]Holger Sturm, Frank Wolter: A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. 12(5): 809-838 (2002)
- [j5]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
- [j4]Holger Sturm, Frank Wolter: First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philosophical Logic 30(6): 571-591 (2001)
- [c4]Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
- 2000
- [j3]
- [j2]
- [c3]Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
- [c2]Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
- [c1]Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
1990 – 1999
- 1998
- [j1]Holger Sturm: Interpolation and Preservation in MLomega 1. Notre Dame Journal of Formal Logic 39(2): 190-211 (1998)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:03 CET by the dblp team