Betreute Studien- und Diplomarbeiten

(Stand: Herbst 2013)

Clemens Beckstein

• T. Anders, ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition, Diplomarbeit, Hochschule für Musik FRANZ LISZT Weimar, 2000

• N. Bichler, Das Beschreibungslogiksystem POWERLOOM, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• N. Bichler, Ein Cluedospieler in PROLOG: Theoretische Überlegungen und praktische Umsetzung, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• T. Brauer, The Description Logic System FACT: Range, Implementation and Typical Application, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• T. Brauer, Intelligente Unterstützung bei der Indexerstellung in L^ATEX, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• M. Bungart, Stromnetze als Oszillationsnetzwerke, Projektarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2013

• M. Bungart, Endspiel-Analyse für Lasker-Schach, Masterarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2013

• M. Büttner, Konzeption und Implementierung des persistenten und verteilt zugreifbaren, annahmenbasierten Begründungsverwaltungssystems WEBATMS, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2007

• L. Dietzfelbinger, Ein Überblick über den aktuellen Forschungsstand der ``Rechtfertigungen'' für Reasoningergebnisse, Bacherlorarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2012

• R. Dormeyer, Graphenalgorithmen in PROLOG und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

• K. Ertelt, Annahmenbasierte Constraintprogrammierung für endliche Bereiche, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2003

• L. Euler, PC-ATMS - eine Rekonstruktion von de Kleers Assumption-Based Truth Maintenance Systems in Scheme auf dem IBM PC, Studienarbeit, IMMD und RRZE, Universität Erlangen-Nürnberg, 1987

• Ch. Fischer, Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von HydroNET, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2006

• Ch. Fischer, Anwendung statistischer Verfahren zur hydrologischen Modellierung in verschiedenen Thüringer Einzugsgebieten, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2007

• S. Fritsch, Eine biomechanische Analyse des Bewegungslernens mittels Neuronaler Netze, Wissenschaftliche Hausarbeit zur Ersten Staatsprüfung für das Lehramt an Gymnasien im Fach Informatik, Friedrich-Schiller-Universität Jena, 2005

• R. Fuhge, Verteilte Begründungsverwaltung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

• T. Geisler, Ein anwendungsunabhängiges Unterstützungssystem zum integrierten annahmenbasierten und temporalen Schließen, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

• V. Glauche, Einsatz Neuronaler Netze zur Steuerung von Bewegungssystemen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

• J. Gövert, Integration einer graphischen Benutzerschnittstelle in FORK unter CommonLisp Interface Manager, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

• Chr. Günsel, Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1999

• J. Günther, Entwicklung und Erprobung eines starken ConHex-Spielers, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

• M. Hülse, Körperbasierte Repräsentationen -- Eine Fallstudie an ausgewählten autonomen Robotersystemen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2000

• H. Kegelmann, FORK für Arbeitsplatzrechner, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1988

• B. Kemme, Entscheidungs- und Modelltestalgorithmen propositionaler Temporallogiken: Vergleich und Untersuchung der Anwendbarkeit für temporale Wissensrepräsentation, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

• K. Kirchner, Post-Mortem-Analyse WAM-compilierter PROLOG-Programme, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

• D. Klan, Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken, Diplomarbeit, Institut für Informatik, Universität Jena, 2004

• J. Klausner, RAM: The RISC Abstract Machine, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1995

• Ch. Knüpfer, Ein Lernalgorithmus für das HYDRONN, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2001.

• Ch. Knüpfer, Testdatengenerierung für die Inferenz von Genregulationsnetzen, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2003.

• S. Kralisch, Induktives Lernen mit dem Evolving Transformation System, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

• S. Kralisch, Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1999

• K. Krenzer, Das Logik-System RACER: Leistungsumfang, Implementierung und beispielhafter Einsatz, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• K. Krenzer, Ein Verfahren zur Online-Klassifikation anormaler Prozessdaten bei der Betonsteinfertigung, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2005

• J. Kretzschmar, Untersuchung der Workflow-Sprache WS-BPEL 2.0 im Hinblick auf ihre Unterstützung von Workflow Patterns, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

• A. Küchler, TRUMP: Ein auf Klausellogik basierendes Truth Maintenance System, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

• A. Küchler, Rewrite Systems for Propositional Inference, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

• M. Kühn, Automatisches Planen in bechreibungslogikbasierten Domains, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2012

• A. Löhden, Eine PROLOG-Realisierung des Kern-ATMS und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

• Ph. Lucas, Vereinfachung und Automatisierung der Datenverwaltung für SEMEDICO, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2013

• A. Mies, Von BPEL zu BPEL4People:
  Motivation, Ansatz und Bewertung, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2009

• J. Nägel, Standardannahmen bei der inkrementellen Strukturanalyse, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

• S. Panne, REXIS: Ein Scanner-Generator für Scheme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

• S. Panne, EAGLE: Ein Generator für erweiterte attribuierte LR(1) Grammatiken, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

• J. Popp, Anlernen und Verfeinern von Wissensbasen, Studienarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

• M. Rahneberg, Beweisverfahren für die intuitionistische Aussagenlogik verallgemeinerter Hornklauseln, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 1998

• T. Ruland, Eine effiziente Implementierung von RISC in PROLOG, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1994

• L. Särve, Der Turing Test -- Ein hinreichendes Kriterium für den Nachweis denkender Maschinen oder ein nicht erfüllbarer Versuch, das menschliche Denkvermögen berechenbar zu machen., Bachelorarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2012

• Ch. Schäufler, Freges aussagenlogischer Begriffskalkül und dessen Automatisierung, Studienarbeit, Institut für Informatik, Universität Jena, 2005

• Ch. Schäufler, Definitionslehre aus algorithmischer Sicht, Diplomarbeit, Institut für Informatik, Universität Jena, 2006

• T. Seifert, Formalisierung von Heuristiken für spezielle Induktionsbeweise und ihre Implementierung in PROLOG, Diplomarbeit, Institut für Informatik, Universität Jena, 1995

• S. Seybold, Fehlschlagsbehandlung im Logik-Programmier-System RISC, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

• R. Stolle, Explizite Kontrolle in Logik-Programmen, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

• M. Tielemann, Eine regelorientierte Erweiterung des Repräsentationssystems FORK, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1986

• S. Tilchner, Kriterien zur Anwendung von KI-Handlungsplanung im Workflowmanagement, Diplomarbeit, Institut für Informatik, Friedrich-Schiller-Universität Jena, 2012

• G. Tobermann, Aspekte der Informationsverarbeitung durch Constraint-Systeme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1987

• G. Tobermann, RISC: A Reason-Maintenance-Based Inference System for Generalized Hornclause Logic, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1988