Sebastian Rudolph/Abschlussarbeiten
Abschlussarbeiten betreut durch Sebastian Rudolph
Diplomarbeiten
Jie Long
Implementierung eines Type-Elimination-basierten Reasoners für OWL
Abgabe: 8 Oktober 2010, Betreuer: Sebastian Rudolph, Rudi Studer, Partner: Stephan Grimm, FZI Forschungszentrum Informatik
René Müller-Rodenbüsch
Implementierung und Evaluation eines Reasoningverfahrens basierend auf geordneten Entscheidungsbäumen
Abgabe: 25 November 2008, Betreuer: Sebastian Rudolph, Rudi Studer
Masterarbeiten
Steffen Stadtmüller
Schlussfolgern in widersprüchlichen Ontologien mit parakonsistenter Logik
Abgabe: 7 Oktober 2010, Betreuer: Sebastian Rudolph, Rudi Studer
Bachelorarbeiten
Benjamin Brandmüller
Formale Beschreibung von Auktionstypen zum automatisierten Reasoning durch Agenten
Abgabe: 30 September 2011, Betreuer: Sebastian Rudolph, Rudi Studer
Fabian Leuchtner
Approximating OWL 2 with ELP
Abgabe: 22 Februar 2010, Betreuer: Sebastian Rudolph, Rudi Studer
↑ top