Holger Sturm

According to our database, Holger Sturm authored at least 14 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Logics of metric spaces.

Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev

ACM Trans. Comput. Log., 2003

2002

A Tableau Decision Algorithm for Modalized ALC with Constant Domains.

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev

Stud Logica, 2002

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.

Holger Sturm, Frank Wolter

J. Log. Comput., 2002

Axiomatizing Distance Logics.

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

J. Appl. Non Class. Logics, 2002

Fusions of Description Logics and Abstract Description Systems.

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter

J. Artif. Intell. Res., 2002

2001

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages.

Holger Sturm, Frank Wolter

J. Philos. Log., 2001

Tableaux for Temporal Description Logic with Constant Domains.

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Modal Horn Classes.

Holger Sturm

Stud Logica, 2000

Elementary Classes in Basic Modal Logic.

Holger Sturm

Stud Logica, 2000

Monodic Epistemic Predicate Logic.

Holger Sturm, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Semi-qualitative Reasoning about Distances: A Preliminary Report.

Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Fusions of Description Logics.

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1998

Interpolation and Preservation in ML_ω1.

Holger Sturm

Notre Dame J. Formal Log., 1998

1997

Modale Fragmente von Lww und Lw1w.

Holger Sturm

PhD thesis, 1997