Skip to main content Skip to main navigation

Publications

Page 7 of 10.

  1. Oliver Kutz; Till Mossakowski

    Conservativity in Structured Ontologies

    In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2008), July 21-25, Patras, Greece, Pages 89-93, Frontiers in Artificial Intelligence and Applications, Vol. 178, ISBN 978-1-58603-891-5, IOS Press, Amsterdam, The Netherlands, 2008.

  2. Dominik Lücke; Till Mossakowski; Diedrich Wolter

    Qualitative reasoning about convex relations

    In: Christian Freksa; Nora S. Newcombe; Peter Gärdenfors; Stefan Wölfl (Hrsg.). Spatial Cognition VI. Learning, Reasoning, and Talking about Space. International Conference Spatial Cognition (Spatial Cognition-08), September 15-19, Freiburg, Germany, Pages 426-440, Lecture Notes in Computer Science, Vol. 5248, ISBN 978-3-540-87600-7, Springer, Berlin, Heidelberg, 2008.

  3. Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki

    CASL- the Common Algebraic Specification Language

    In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, Springer, Heidelberg, 2007.

  4. John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski

    Ontological Modularity and Spatial Diversity

    In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.

  5. Klaus Lüttich; Till Mossakowski

    Reasoning Support for CASL with Automated Theorem Proving Systems

    In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, Belgium, Pages 74-91, Vol. 4409, Springer-Verlag, Heidelberg, 2007.

  6. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007), 13th, located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 24 - April 1, Braga, Portugal, Pages 519-522, Lecture Notes in Computer Science (LNCS), Vol. 4424, Springer-Verlag, Heidelberg, 2007.

  7. Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder

    An Institutional View on Categorical Logic

    In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.

  8. Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)

    CALCO 2007. Second conference on algebra and coalgebra in computer science

    Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.

  9. Till Mossakowski; Christian Maeder; Klaus Lüttich

    The Heterogeneous Tool Set

    In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.

  10. Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki

    What is a Logic? (revised version)

    In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.