Embedded Intelligence

Page 2 of 10.

1. Till Mossakowski; Oliver Kutz; Mihai Codescu; Christoph Lange

   The Distributed Ontology, Modelling and Specification Language

   In: International Workshop on Modular Ontologies proceedings. International Workshop on Modular Ontologies (WoMO-13), 7th, September 15, Corunna, …

2. Till Mossakowski; Markus Roggenbach; Lutz Schröder

   Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

   In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

3. Mihai Codescu

   Lambda Expressions in CASL Architectural Specifications

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

4. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

   Towards Logical Frameworks in the Heterogeneous Tool Set Hets

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

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

   A Proof Theoretic Interpretation of Model Theoretic Hiding

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

6. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

   The VSE Refinement Method in Hets

   In: Electronic Communications of the EASST, 2012.

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

   The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics

   In: Terminology and Knowledge Engineering Conference . Terminology and Knowledge Engineering Conference (TKE-12), June 20-21, Madrid, Spain, 2012.

8. Oliver Kutz; Till Mossakowski; Joana Hois; Mehul Bhatt; John Bateman

   Ontological Blending in DOL

   In: Computational Creativity, Concept Invention, and General Intelligence - 1st International Workshop. International Workshop on Computational …

9. Oliver Kutz; Janna Hastings; Till Mossakowski

   Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs

   In: 15th International Conference on Artificial Intelligence: Methodology, Systems, and Applications. International Conference on Artificial …

10. Christoph Lange; Oliver Kutz; Till Mossakowski; Michael Grüninger

    The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

    In: Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-12), July 8-13, Bremen, Germany, Lecture …

• 1
• 2
• 3
• …
• 10
• next