Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2011
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 589

  1. Dominik Lücke; Till Mossakowski; Reinhard Moratz

    Streets to the OPRA - Finding your destination with imprecise knowledge

    In: Jochen Renz; Anthony G. Cohn; Stefan Wölfl (Hrsg.). IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning. IJCAI Workshop on …

  2. Oliver Kutz; Till Mossakowski

    The Onto-Logical Translation Graph

    In: O. Kutz; T. Schneider (Hrsg.). Modular Ontologies - Proceedings of the Fifth International Workshop. International Workshop on Modular Ontologies …

  3. Oliver Kutz; Till Mossakowski; Janna Hastings; Alexander Garcia Castro; Aleksandra Sojic

    Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples

    In: George Gkoutos; Pierre Grenon (Hrsg.). Workshop on Working with Multiple Biomedical Ontologies. International Conference on Biomedical Ontologies …

  4. Oliver Kutz; Till Mossakowski; Christian Galinski; Christoph Lange

    Towards a Standard for Heterogeneous Ontology Integration and Interoperability

    In: Key-Sun Choi (Hrsg.). Proceedings of the First International Conference on Terminology, Languages and Content Resources (LarC 2011). International …

  5. Oliver Kutz; Till Mossakowski

    A Modular Consistency Proof for Dolce

    In: Wolfram Burgard; Dan Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative …

  6. Janna Hastings; Oliver Kutz; Till Mossakowski

    How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications

    In: Deep Knowledge Representation Challenge Workshop. International Conference on Knowledge Capture (K-Cap-11), 6th, located at co-located with K-CAP …

  7. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    Project Abstract: Logic Atlas and Integrator (LATIN)

    In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer …

  8. Till Mossakowski; Mihai Codescu; Oliver Kutz

    Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap

    In: Michael Schenk; Hartmut Zadek; Gerhard Müller; Klaus Richter; Holger Seidel (Hrsg.). 16. Magdeburger Logistiktage "Sichere und nachhaltige …

  9. Mihai Codescu; Till Mossakowski

    Refinement trees: calculi, tools and applications

    In: Andrea Corradini; Bartek Klin (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  10. Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau

    DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap

    In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial …

Jahr