Holger Sturm - RankMe

15 papers A 1B 2Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	Fusions of Description Logics and Abstract Description Systems CoRR Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2003	J	`jnl`	Logics of metric spaces. ACM Trans. Comput. Log. Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
2002	J	`jnl`	A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. J. Log. Comput. Holger Sturm, Frank Wolter
2002	J	`jnl`	A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Stud Logica Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Axiomatizing Distance Logics. J. Appl. Non Class. Logics Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
2002	J	`jnl`	Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2001	J	`jnl`	First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. J. Philos. Log. Holger Sturm, Frank Wolter
2001	A	`conf`	Tableaux for Temporal Description Logic with Constant Domains. IJCAR Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
2000	J	`jnl`	Elementary Classes in Basic Modal Logic. Stud Logica Holger Sturm
2000	—	`conf`	Fusions of Description Logics. Description Logics Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
2000	J	`jnl`	Modal Horn Classes. Stud Logica Holger Sturm
2000	B	`conf`	Monodic Epistemic Predicate Logic. JELIA Holger Sturm, Frank Wolter, Michael Zakharyaschev
2000	B	`conf`	Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
1998	J	`jnl`	Interpolation and Preservation in ML Notre Dame J. Formal Log. Holger Sturm
1997	—	`—`	Modale Fragmente von Lww und Lw1w. Holger Sturm