Bibliographie von Klaus Lüttich

Springe zu Jahr:  2007   2006   2005   2004 

2007     nach oben

	John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), S. 97–128.
	Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Hrsg.), WADT 2006, Band 4409, S. 74–91. Springer-Verlag Heidelberg.
	Klaus Lüttich (2007). Development of Structured Ontologies in CASL. Universität Bremen, Bibliothekstraße 1, 28359 Bremen, Germany.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Hrsg.), TACAS 2007, Band 4424, S. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.
	Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Hrsg.), VERIFY 2007, 4th International Verification Workshop, Band 259, S. 119–135, CEUR Workshop Proceedings.

2006     nach oben

	Klaus Lüttich (2006). Approximation of Ontologies in CASL. In Brandon Bennett, Christiane Fellbaum (Hrsg.), Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), Band 150, S. 335–346, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
	Klaus Lüttich, Claudio Masolo, Stefano Borgo (2006). Development of Modular Ontologies in CASL. In P. Haase, V. Honavar, O. Kutz, Y. Sure, A. Tamilin (Hrsg.), Workshop on Modular Ontologies 2006, Band 232, CEUR Workshop Proceedings. CEUR-WS.org.
	Hartwig H. Hochmair, Klaus Lüttich (2006). An Analysis of the Navigation Metaphor -- And Why It Works for the World Wide Web. In Spatial Cognition and Computation, 6 (3), S. 235–278.

2005     nach oben

	B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Hrsg.), Spatial Cognition IV, Band 3343, S. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.
	K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Hrsg.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Band 3423, S. 106–125, Lecture Notes in Computer Science. Springer, Berlin.
	Klaus Lüttich (2005). Approximation of Ontologies in CASL. In P. Mosses, J. Power, M. Seisenberger (Hrsg.), CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, S. 41–53, Report Series. University of Wales Swansea.

2004     nach oben

	K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Hrsg.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 109–119.
	K. Lüttich, T. Mossakowski (2004). Specification of Ontologies in CASL. In Achille C. Varzi, Laure Vieu (Hrsg.), Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Band 114, S. 140–150, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.
Ausgewählte Einträge im BibTex-Format anzeigen