Readspeaker Menü

Abgeschlossen

 

2013

  • M. Bungart
    Stromnetze als Oszillationsnetzwerke
    , Projektarbeit
  • M. Bungart
    Endspiel-Analyse für Lasker-Schach, Masterarbeit
  • Ph. Lucas
    Vereinfachung und Automatisierung der Datenverwaltung für SEMEDICO, Studienarbeit

2012

  • L. Dietzfelbinger
    Ein Überblick über den aktuellen Forschungsstand der "Rechtfertigungen" für Reasoningergebnisse, Bacherlorarbeit
  • M. Kühn
    Automatisches Planen in bechreibungslogikbasierten Domains, Diplomarbeit
  • S. Tilchner
    Kriterien zur Anwendung von KI-Handlungsplanung im Workflowmanagement, Diplomarbeit
  • 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

2009

  • J. Günther
    Entwicklung und Erprobung eines starken ConHex-Spielers, Diplomarbeit
  • J. Kretzschmar
    Untersuchung der Workflow-Sprache WS-BPEL 2.0 im Hinblick auf ihre Unterstützung von Workflow Patterns, Diplomarbeit
  • A. Mies
    Von BPEL zu BPEL4People: Motivation, Ansatz und Bewertung, Diplomarbeit

2007

  • M. Büttner
    Konzeption und Implementierung des persistenten und verteilt zugreifbaren, annahmenbasierten Begründungsverwaltungssystems WEBATMS, Diplomarbeit
  • Ch. Fischer
    Anwendung statistischer Verfahren zur hydrologischen Modellierung in verschiedenen Thüringer Einzugsgebieten, Diplomarbeit

2006

  • Ch. Fischer
    Kostensensitive Bewertung von stickstoffreduzierenden Maßnahmen auf Basis von HydroNET, Studienarbeit
  • Ch. Schäufler
    Definitionslehre aus algorithmischer Sicht, Diplomarbeit

2005

  • N. Bichler
    Das Beschreibungslogiksystem POWERLOOM
    , Studienarbeit
  • N. Bichler
    Ein Cluedospieler in PROLOG: Theoretische Überlegungen und praktische Umsetzung, Diplomarbeit
  • T. Brauer
    The Description Logic System FACT: Range, Implementation and Typical Application, Studienarbeit
  • Ch. Schäufler
    Freges aussagenlogischer Begriffskalkül und dessen Automatisierung, Studienarbeit
  • T. Brauer
    Intelligente Unterstützung bei der Indexerstellung in LATEX, Diplomarbeit
  • 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
  • K. Krenzer
    Das Logik-System RACER: Leistungsumfang, Implementierung und beispielhafter Einsatz, Studienarbeit
  • K. Krenzer
    Ein Verfahren zur Online-Klassifikation anormaler Prozessdaten bei der Betonsteinfertigung, Diplomarbeit

2004

  • D. Klan
    Anwendung von stochastischen Suchverfahren für das Training von Dynamischen Neuronalen Netzwerken, Diplomarbeit

2003

  • K. Ertelt
    Annahmenbasierte Constraintprogrammierung für endliche Bereiche, Studienarbeit
  • Ch. Knüpfer
    Testdatengenerierung für die Inferenz von Genregulationsnetzen, Diplomarbeit

2001

  • Ch. Knüpfer
    Ein Lernalgorithmus für das HYDRONN, Studienarbeit

2000

  • T. Anders
    ARNO: Über den Einsatz eines Suchalgorithmus für die musikalische Komposition, Diplomarbeit,
    Hochschule für Musik FRANZ LISZT Weimar
  • M. Hülse
    Körperbasierte Repräsentationen -- Eine Fallstudie an ausgewählten autonomen Robotersystemen, Diplomarbeit

1999

  • Chr. Günsel
    Eine Simulationsumgebung für die Ausführung verallgemeinerter nicht-linearer Pläne, Diplomarbeit
  • S. Kralisch
    Ein graphischer Editor für verallgemeinerte nicht-lineare Pläne, Diplomarbeit

1998

  • V. Glauche
    Einsatz Neuronaler Netze zur Steuerung von Bewegungssystemen, Diplomarbeit
  • K. Kirchner
    Post-Mortem-Analyse WAM-compilierter PROLOG-Programme, Studienarbeit
  • S. Kralisch
    Induktives Lernen mit dem Evolving Transformation System, Studienarbeit
  • J. Popp
    Anlernen und Verfeinern von Wissensbasen, Studienarbeit
  • M. Rahneberg
    Beweisverfahren für die intuitionistische Aussagenlogik verallgemeinerter Hornklauseln, Diplomarbeit
  • J. Popp
    Anlernen und Verfeinern von Wissensbasen, Studienarbeit

1995

  • J. Klausner
    RAM: The RISC Abstract Machine, Diplomarbeit,
    IMMD, Universität Erlangen-Nürnberg
  • T. Seifert
    Formalisierung von Heuristiken für spezielle Induktionsbeweise und ihre Implementierung in PROLOG, Diplomarbeit

1994

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

  • 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
  • A. Küchler
    Rewrite Systems for Propositional Inference, Diplomarbeit,
    IMMD, Universität Erlangen-Nürnberg, 1994
  • S. Panne
    EAGLE: Ein Generator für erweiterte attribuierte LR(1) Grammatiken, Diplomarbeit,
    IMMD, Universität Erlangen-Nürnberg, 1994
  • T. Ruland
    Eine effiziente Implementierung von RISC in PROLOG, Diplomarbeit,
    IMMD, Universität Erlangen-Nürnberg, 1994

1993

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

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

  • A. Löhden, Eine PROLOG-Realisierung des Kern-ATMS und ihre Parallelisierung, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993
  • R. Stolle, Explizite Kontrolle in Logik-Programmen, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1993

1992

  • J. Gövert, Integration einer graphischen Benutzerschnittstelle in FORK unter CommonLisp Interface Manager, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
  • A. Küchler, TRUMP: Ein auf Klausellogik basierendes Truth Maintenance System, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
  • J. Nägel, Standardannahmen bei der inkrementellen Strukturanalyse, Diplomarbeit, IMMD, Universität Erlangen-Nürnberg, 1992
  • S. Seybold, Fehlschlagsbehandlung im Logik-Programmier-System RISC, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1992

1988

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

1987

  • 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
  • G. Tobermann, Aspekte der Informationsverarbeitung durch Constraint-Systeme, Studienarbeit, IMMD, Universität Erlangen-Nürnberg, 1987

1986

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