|
Search the dblp DataBase
Holger Sturm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
Tableaux for Temporal Description Logic with Constant Domains. [Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:121-136 [Conf]
- Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 2000, pp:21-30 [Conf]
- Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
Semi-qualitative Reasoning about Distances: A Preliminary Report. [Citation Graph (0, 0)][DBLP] JELIA, 2000, pp:37-56 [Conf]
- Holger Sturm, Frank Wolter, Michael Zakharyaschev
Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP] JELIA, 2000, pp:329-344 [Conf]
- Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2002, v:16, n:, pp:1-58 [Journal]
- Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
Axiomatizing Distance Logics. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:425-440 [Journal]
- Holger Sturm, Frank Wolter
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:809-838 [Journal]
- Holger Sturm
Interpolation and Preservation in MLomega 1. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1998, v:39, n:2, pp:190-211 [Journal]
- Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:72, n:2, pp:199-232 [Journal]
- Holger Sturm
Elementary Classes in Basic Modal Logic. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:2, pp:193-213 [Journal]
- Holger Sturm
Modal Horn Classes. [Citation Graph (0, 0)][DBLP] Studia Logica, 2000, v:64, n:3, pp:301-313 [Journal]
- Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
Logics of metric spaces. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:260-294 [Journal]
Search in 0.002secs, Finished in 0.002secs
|