Abgeschlossene Bachelor-, Master- und Diplomarbeiten der Abteilung KI

Abgeschlossene Diplomarbeiten

  2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994

2007

• Florian Laib (Bachelorarbeit)
  Adaption und Integration einer Erklärungskomponente in das Ontologiewerkzeug OntoTrack

• Gerd Gröner
  Formalisierung und Analyse von Zugriffsberechtigungen in PVS

• Felix Müller
  Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für Beschreibungslogiken

• Stephan Scheele (Masterarbeit)
  Tableaubasierte Ableitung und Erklärung von Subsumtionsbeziehungen

• Julian Lambertz
  Erklärung und Korrektur von Nicht-Subsumtion in Ontologien

2006

• Dominik Grether
  Semantische Annotation und Deduktion in Geoinformationssystemen

• Sebastian Michel
  Semantikgestützte, benutzerorientierte Dokumentensuche

• Patrick Schmidt
  Portierung einer Anwendung zur Selektion von Diensten auf ein mobiles Endgerät

2005

• Andreas Weigl
  Strategien für Hierarchisches Planen in einer Multiagenten-Architektur

• Michael Halfmann
  Entwicklung einer Erklärungskomponente für tablauxbasierte Subsumtionsbeweise

2004

• Stefan Miller
  Fahrzeugkonfiguration im Aftersales

• Alexander Halder
  Entwurf und Nutzung von Ontologien zur Produktteileverwaltung am Beispiel des Geschäftsfeldes PKW der DaimlerChrysler AG

• Franz Kiraly
  Interagierende Inferenzmodule: Neue Ansätze für Beschreibungslogiken

• Steffen Balzer
  Entwurf, Implementierung und Anwendung von Semantic Web-Services am Beispiel von Reiseplanung

2003

• Axel Blumenstock
  Induktion von Regeln zur Erkennung und Beschreibung seltener Klassen

• Olaf Noppens
  Ein graphbasierter Ontologie Editor zur Darstellung und Manipulation von OWL Lite Ontologien

• Markus Kuhnt
  Hierarchisches Scheduling

• Dominik Maschke
  Hybrides Planen in einer Multiagenten-Architektur

• Guntmar Kirck
  Konsistenzsicherung auf hierarchisch strukturierten Domänenmodellen

2002

• Roland Holzer
  Grafische Darstellung nichtlinearer Pläne

• Michael Schalk (angemeldet in der Abteilung Medieninformatik)
  Kommunikation und Wissensmodellierung im CIA Agentensystem mit FIPA und Semantic Web

• Bertram Wirth
  Ein webbasierter Reiseagent

• Edwin Volz
  Konzeption und Implementierung eines effizienten Ausführungssystems für variable Lehrprozesse

2001

• Andreas Kirbach
  Design, Implementierung und Optimierung eines kontinuierlich-sprachlichen automatischen Vermittlungssystems

• Stefan Kühnemann
  Hierarchische Netzwerkplanung - Eine Objektorientierte Realisierung

• Norbert Schirmer
  Development of a Provably Correct Codegenerator for Hierarchic Statemachines

2000

• Bernd Kullick
  Simulation von mobilen Agentensystemen

• Karsten Gugler
  Ein Ansatz zur parallelen und verteilten Simulation von deliberativen Multiagentensystemen

1999

• Falk Bartels
  Verfeinerung von Zustandsübergangssystemen, ein uniformer Ansatz basierend auf Ko-Algebren

• Dieter Finkenzeller
  Graphische Darstellung und Manipulation von Wissensbasen

• Hartmut Jungholt
  Numerische Zustandsvariablen in der Handlungsplanung

1998

• Marco Weismüller
  Planen mit einem Modellprüfer im µ-Kalkül

• Bernd Schattenberg
  Agentenmodellierung und -evaluierung im Rahmen eines objektorientierten verteilten Simulationssystems

• Petra Tyschler
  Variable Strukturen und objektorientierte verteilte Simulationssysteme

• Dirk Tyschler
  Verteiltes DEVS in Java

• Rainer Bosch
  Theorembeweisen für QBF und die Anwendung zum Planen

• Michael Stegmüller
  Formale Verifikation des DLX Risc-Prozessors: Eine Fallstudie basierend auf abstrakten Zustandsmaschinen

• Michael Bleyer
  Multi-Agent Systems for Information Retrieval on the World Wide Web

• Stephan Pfab
  Efficient Abstract Interpretation of Formal Specifications and Its Interrelationship with Theorem Proving

• Oliver Möller
  Solving Bit-Vector Equations

1997

• Daniela Damm
  Wissensakquisitionstool für multivariate Untersuchungen am Beispiel der Knochenheilung

1996

• Maria Sorea
  Integration von Gleichheitsverfahren in einen typentheoretischen Beweiser

• Thomas Reichherzer
  An Agent-Based Approach to Knowledge Sharing and Construction

• Jochen Renz
  Qualitatives räumliches Schließen: Berechnungseigenschaften und effiziente Algorithmen

• Alexander Seitz
  Konzeption und Implementierung eines fallbasierten Systems zur Auswertung von multivariaten empirischen Untersuchungen

1995

• Rainer Arnold
  Dynamische Strukturmodellierung - ein objektorientierter Ansatz für diskret ereignisorientierte Simulationen

• Joachim Herbst
  Gestaltung von Geschäftsprozessen: Ein induktiver Lernansatz zur Generierung von heuristischem Wissen aus Simulationsdaten

• Marko Luther
  Wissensbasierte Methoden zur Beweisunterstützung in Typentheorie

• Holger Pfeifer
  Eine reflexive Architektur zur Darstellung von Beweis- und Softwareentwicklungsschritten in Typtheorie

• Matthias Wagner
  Entwicklung und Implementierung eines Beweisers für konstruktive Logik

1994

• Hanno Walischewski
  Modellgestützte Interpretation strukturierter Dokumente