Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 506.
  1. Thomas Burkhart; Dirk Werth; Peter Loos

    Commius: An Email Based Interoperability Solution Tailored For SMEs

    In: Journal of Digital Information Management (JDIM), Vol. 6, No. 6, Pages 430-433, Digital Information Research Foundation, Chennai, 12/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. …

  3. 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 …

  4. Oliver Kutz; Dominik Lücke; Till Mossakowski

    Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE

    In: First International Workshop on Foundations of Computer Science as Logic-Related. International Workshop on Foundations of Computer Science as …

  5. Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanueal Normann

    The OWL in the CASL - Designing Ontologies Across Logics

    In: Catherine Dolbear; Alan Ruttenberg; Uli Sattler (Hrsg.). OWL: Experiences and Directions, 5th International Workshop. The OWL: Experiences and …

  6. Benchmarking der Text-basierten Anteile eines exemplarischen DAU-Systems

    PhD-Thesis, Technische Universität Kaiserslautern, ISBN 978-3-89963-725-0, Verlag Dr. Hut, München, 2008.

  7. Leo Sauermann; Gunnar Aastrand Grimnes; Thomas Roth-Berghofer

    The Semantic Desktop as a foundation for PIM research

    In: Jaime Teevan; William Jones (Hrsg.). Proceedings of the Personal Information Management Workshop. Personal Information Management Workshop …

  8. Andreas Eisele; Christian Federmann; Hans Uszkoreit; Hervé Saint-Amand; Martin Kay; Michael Jellinghaus; Sabine Hunsicker; Teresa Herrmann; Yu Chen

    Hybrid Architectures for Multi-Engine Machine Translation

    In: Proceedings of Translating and the Computer 30. Translating and the Computer Conference (TC-30), November 27-28, London, United Kingdom, ASLIB, …

  9. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  10. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …