The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Holger Sturm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
    Fusions of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:21-30 [Conf]
  3. 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]
  4. Holger Sturm, Frank Wolter, Michael Zakharyaschev
    Monodic Epistemic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:329-344 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Holger Sturm
    Elementary Classes in Basic Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:64, n:2, pp:193-213 [Journal]
  11. Holger Sturm
    Modal Horn Classes. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:64, n:3, pp:301-313 [Journal]
  12. 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.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002