Simon Flügel (current) Ontology Extension by Automated Learning and Reasoning from Structured Entities
Björn Gehrke (current) Languages and Tools for Ontologies
Mirjam Stappel (current) Energy scenario comparison
Livia Predoiu (current). Probabilistic Ontological Data Exchange
Stephan Günther (current). Modularity of energy system scenarios
Matrin Glauer (2024). Knowledge and Learning - Synergies between Ontologies and Machine Learning
Madhura Thosar (2022). Rock, Paper, Scissor: What’s a Substitute For Hammer? An Approach to Substitute Selection for Missing Tool Using Robot-Centric Conceptual Knowledge About Objects
Francesco Sportelli (2021). Supporting Conceptual Modelling in ORM by Reasoning
Maria Hedblom (2018). Image Schemas and Concept Invention: Cognitive, Logical and Linguistic Investigations
Klaus Lüttich (2006). Development of Structured Ontologies in CASL
Tobias Rosenberger (2022). Institution-based Semantics and Tool Support for the UML (supervisor: Prof. Dr. Markus Roggenbach)
Armen Inants (2016). Qualitative Calculi with Heterogeneous Universes (supervisor: Dr. Jérôme Euzenat)
Matthias Westphal (2015). Qualitative Constrained-Based Reasoning: Methods and Applications (first referee: Prof. Dr. Bernhard Nebel)
Fulya Horozal (2014). Theories, Extensions and Translations (first referee: Prof. Dr. Michael Kohlhase)
Dennis Chong (2011). Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen (first referee: Prof. Dr. Hans-Jörg Kreowski)
Florian Rabe (2008). Representing Logics and Logic Translations (first referee: Prof. Dr. Michael Kohlhase)
Immanuel Normann (2008). Automated Theory Interpretation (first referee: Prof. Dr. Michael Kohlhase)
Morten P. Lindegaard (2004). Proof support for Raise. A reuse approach based on institutions (informal supervision)