All theses are available in hardcopy format at the University Library for perusal.

Completed Theses

Author


All :: A, B, D, E, F, G, H, J, K, L, M, N, O, P, R, S, T, V, W
All :: Schalk, ... , Schneider, Seegebarth, Seitz, ... , Suciu

Preferences

Show keywords Show abstracts

17.
default
Stark, Manuel
Invariantensynthese für Planung in Unsicherheit
Bachelor Thesis
Ulm University,
2015
16.
default
Schneider, Tim
Entwicklung nutzerunabhängiger Strategien zur Auswahl, Vereinfachung und Zusammenfassung von formalen Planerklärungen
Bachelor Thesis
Ulm University,
2014
15.
default
Schmidke, Tobias
Interaktive Handlungsplanung
Master Thesis
Ulm University,
2014
14.
default
Speck, Christian
Entwicklung einer Methode zur graphischen Darstellung von Planerklärungen
Bachelor Thesis
Ulm University,
2013
13.
default
Späth, Christian
Implementierung und Evaluation eines hierarchischen Planungssystems für faktorisierte POMDPs
Master Thesis
Ulm University,
2012
12.
default
Steigmiller, Andreas
Entwicklung und Optimierung eines parallelen, tableaubasierten Schlussfolgerungssystems für SROIQ
Master Thesis
Ulm University,
2011
11.
default
Seegebarth, Bastian
Formale Aspekte der Erklärung hybrider Pläne
Master Thesis
Ulm University,
2011
10.
default
Seegebarth, Bastian
Entwurf einer Schlussfolgerungskomponente zur effizienten Behandlung von Zustandsabstraktionen im hybridem Planen
Bachelor Thesis
Ulm University,
2009
9.
default
Suciu, Tudor
Integration des OWLlink Protokolls in das OWLAPI
Bachelor Thesis
Ulm University,
2009
8.
default
Scheele, Stephan
Tableaubasierte Ableitung und Erklärung von Subsumtionsbeziehungen
Master Thesis
Ulm University,
2007
Export as: BibTeX, XML