Klaus Lüttich

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Till Mossakowski, Christian Maeder, Klaus Lüttich
The Heterogeneous Tool Set, Hets. TACAS (2007)
John A. Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski
Ontological Modularity and Spatial Diversity. Spatial Cogn. Comput. 7 (1) (2007)
Till Mossakowski, Christian Maeder, Klaus Lüttich
The Heterogeneous Tool Set (Hets). VERIFY (2007)
Klaus Lüttich, Till Mossakowski
Reasoning Support for Caslwith Automated Theorem Proving Systems. WADT (2006)
Klaus Lüttich, Claudio Masolo, Stefano Borgo
Development of Modular Ontologies in CASL. WoMO (2006)
Hartwig H. Hochmair, Klaus Lüttich
An Analysis of the Navigation Metaphor - And Why It Works for the World Wide Web. Spatial Cogn. Comput. 6 (3) (2006)
Klaus Lüttich
Approximation of Ontologies in CASL. FOIS (2006)
Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
Specification of an Ontology for Route Graphs. Spatial Cognition (2004)
Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
Ontologies for the Semantic Web in Casl. WADT (2004)