Top content

Supervised PhD theses

• Supervised PhD theses
• 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
• Mihai Codescu (2012). Architectural Refinement in Hets
• Dominik Lücke (2012). Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency
• Klaus Lüttich (2006). Development of Structured Ontologies in CASL
• Second referee or review committee member of PhD theses
• 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)
• Andreas Beck (1999). The liar lies and snow is white (informal supervision)