Sebastian Rudolph/Abschlussarbeiten/en
=Student theses supervised by [[ Sebastian Rudolph/en| Sebastian Rudolph]]=
Diplom theses
Jie Long
Implementierung eines Type-Elimination-basierten Reasoners für OWL
Date of submission: 2010-10-08, Supervisor: Sebastian Rudolph, Rudi Studer, External Partner: Stephan Grimm, FZI Forschungszentrum Informatik
René Müller-Rodenbüsch
Implementierung und Evaluation eines Reasoningverfahrens basierend auf geordneten Entscheidungsbäumen
Date of submission: 2008-11-25, Supervisor: Sebastian Rudolph, Rudi Studer
Master theses
Steffen Stadtmüller
Schlussfolgern in widersprüchlichen Ontologien mit parakonsistenter Logik
Date of submission: 2010-10-07, Supervisor: Sebastian Rudolph, Rudi Studer
Bachelor theses
Benjamin Brandmüller
Formale Beschreibung von Auktionstypen zum automatisierten Reasoning durch Agenten
Date of submission: 2011-09-30, Supervisor: Sebastian Rudolph, Rudi Studer
Fabian Leuchtner
Approximating OWL 2 with ELP
Date of submission: 2010-02-22, Supervisor: Sebastian Rudolph, Rudi Studer
↑ top