Author of the publication

The Heterogeneous Tool Set

, , and . VERIFY 2007, 4th International Verification Workshop, volume 259 of CEUR Workshop Proceedings, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Logical Frameworks in the Heterogeneous Tool Set Hets, , , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2012)Introducing the Open Energy Ontology: Enhancing Data Interpretation and Interfacing in Energy Systems Analysis, , , , , , , , , and 12 other author(s). Energy and AI, (September 2021)Substitute Selection for a Missing Tool Using Robot-Centric Conceptual Knowledge Of Objects, , , , , , and . 35th ACM/SIGAPP Symposium On Applied Computing, page 972-979. (2020)Interpretable Ontology Extension in Chemistry, , , , and . Semantic Web journal, (2023)Special Issue on The Role of Ontologies and Knowledge in Explainable AI, to appear.Using the diagrammatic image schema language for joint human-machine cognition, , , , and . Engineering for a Changing World: Proceedings; 60th ISC, Ilmenau Scientific Colloquium, Technische Universität Ilmenau, September 04-08, 2023., (2023)Blending in the Hub. Towards a collaborative concept invention platform, , , and . Fifth International Conference on Computational Creativity, (2014)The datatypes REAL and COMPLEX in CASL, and . (1999)CoFI note M-7.Intuitive and Natural Interfaces for Geospatial Data Classification, , , , , and . Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, (2012)Qualitative Reasoning about Relative Direction of Oriented Points, and . Artificial Intelligence Journal, (2012)CASL Logic, , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)