Holger Sturm (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 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)

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)

7 Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136

6 Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30

Selection of 4 from 12 records - Holger Sturm has 6 coauthors

11		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)
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)
7		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
6		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30