Embedded Intelligence

Page 3 of 10.

1. Christoph Lange; Till Mossakowski; Oliver Kutz

   LoLa: A Modular Ontology of Logics, Languages, and Translations

   In: Modular Ontologies - Proceedings of the 6th International Workshop. International Workshop on Modular Ontologies (WoMO-12), 6th, located at FOIS …

2. Till Mossakowski; Christoph Lange; Oliver Kutz

   Three Semantics for the Core of the Distributed Ontology Language

   In: International Conference on Formal Ontology in Information Systems . International Conference on Formal Ontology in Information Systems  …

3. Till Mossakowski; Reinhard Moratz

   Qualitative Reasoning about Relative Direction of Oriented Points

   In: Artificial Intelligence (AIJ), Vol. 180–181, Pages 34-45, 2012.

4. Liam O'Reilly; Till Mossakowski; Markus Roggenbach

   Compositional modelling and reasoning in an institution for processes and data

   In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

5. Falko Schmid; Oliver Kutz; Lutz Frommberger; Till Mossakowski; Tomi Kauppinen; Cunyuan Cai

   Intuitive and Natural Interfaces for Geospatial Data Classification

   In: Maria Vasardani; Stephan Winter; Kai-Florian Richter; Krzysztof Janowicz; William Mackaness (Hrsg.). Proceedings of the International Workshop on …

6. Till Mossakowski; Oliver Kutz; Christoph Lange

   Semantics of the distributed ontology language: Institutes and Institutions

   In: Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), June 7-10, Salamanca, …

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

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

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

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

• previous
• 1
• …
• 2
• 3
• 4
• …
• 10
• next