Doctorates
-
Michael Thielscher: Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution (1995).
-
Antje Strohmaier: Logisches Schließen mit massiv parallelen Methoden (1997).
-
Yvonne McIntyre: Modellgenerierung mit konnektionistischen Systemen (2000).
-
Helko Lehmann: On Reasoning about Action and Change in the Fluent Calculus (2002).
-
Lutz Straßburger: Linear Logic and Noncommutativity in the Calculus of Structure (2003).
-
Kai Brünnler: Deep Inference and Symmetry in Classical Proofs (2003).
-
Hans-Peter Störr: Planen im Fluentkalkül mit binären Entscheidungsdiagrammen (2005).
-
Ozan Kahramanoğullari: Nondeterminism and Language Design in Deep Inference (2006).
Habilitations
-
Pascal Hitzler: Nichtmonotone, neuro-symbolische und begriffliche Wissensrepräsentation (2005).
