DIPLOMA AND MASTERS Professor Dr. M.M. Richter. 1) Peter Siebert: Untersuchungen über vollständige Boole sche Algebren. Dipl.-Arbeit, Freiburg, 1969.

Transkript

1 DIPLOMA AND MASTERS Professor Dr. M.M. Richter 1) Peter Siebert: Untersuchungen über vollständige Boole sche Algebren. Dipl.-Arbeit, Freiburg, ) Doris Böhm: Direkte Limites, Summen und amalgamierte Summen in Boole schen Algebren und a-vollständigen Boole schen Algebren. Dipl.-Arbeit, Freiburg, ) Patricia M. Deroche: Some aspects of the algebraic number fields Q(i) and Q( 4 2).Master Thesis, Austin, ) Gottfried Preyer: Resolution und inverse Methode. Staatsexamensarbeit, Tübingen, ) Gebhard Köber: Gentzen- und Resolutionskalkül. Dipl.-Arbeit, Tübingen, ) Carsten Schippang: Die inverse Methode. Dipl.-Arbeit, Tübingen, ) Horst Federmutz: Vollständigkeit von Beweissystemen. Dipl.-Arbeit, Tübingen, ) Ekkehard Schulz: Eine algorithmische Transformation von Standard Eigenschaften in eine äquivalente Nichtstandard Form. Dipl.-Arbeit, Aachen, ) Lothar Wollschläger: Komplexitätsbetrachtungen bei regulärer und erweiterter Resolution. Dipl.-Arbeit, Aachen, ) Barbara Schlösser: Über den Bewertungsring eines distributiven Verbandes und einen Ansatz zur Linearisierung der Logik von Gian-Carlo Rota. Dipl.-Arbeit, Aachen, ) Annegret Mund: Über einige spezielle Punkte in br und ihre Anwendung auf Restklassenringe stetiger Funktionen. Dipl.-Arbeit, Aachen, ) Hans Bücken: Wortprobleme bei Reduktions- und Gleichungssystemen. Dipl.-Arbeit, Aachen, ) Barbara Braun: Über die Behandlung von Mengenvariablen beim Automatischen Beweisen und eine Methode von W. W. Bledsoe. Staatsexamensarbeit, Aachen, ) Wilhelm Swora: Untersuchungen über Quantenlogik. Staatsexamensarbeit, Aachen, ) Petra Zimmermann: Ein spezieller Algorithmus zur Lösung des Wortproblems bei endlich präsentierten Gruppen und seine Implementierung. Dipl.-Arbeit, Aachen, ) Susanne Kemmerich: Die Einfachheit der Automorphismengruppen einiger homogener Boole scher Algebren. Dipl.-Arbeit, Aachen, ) Reimund Bommes: Über die Analyse umfangreicher Programmsysteme. Dipl.-Arbeit, Aachen, ) Reinhard Schultheiss: Faktorisierungstechniken in der revidierten Simplexmethode (Betreuung gemeinsam mit H.-J. Zimmermann). Dipl.-Arbeit, Aachen, ) Katharina Klein: Kategorien von Graphen mit speziellen Homomorphismen. Dipl.-Arbeit, Aachen, 1982.

2 2 20) Benjamin Benninghofen: Über NIchtstandard Methoden und Monaden. Dipl.-Arbeit, Aachen, ) Klaus Dittrich: Über Vervollständigungsalgorithmen von Reduktionssystemen und ihre Implementierung. Dipl.-Arbeit, Aachen, ) Monika Barth: Untersuchungen über Reduktionssysteme und den Todd-Coxeter- Algorithmus. Dipl.-Arbeit, Aachen, ) Lutz Felsberg: Bildgebung in der Kernspintomographie. Dipl.-Arbeit,, Aachen, ) Alfred Winter: Eine relationale Datenbank zur Abbildung von anatomischen Strukturen in einem diskreten dreidimensionalen Raum. Dipl.-Arbeit, Aachen, ) Toms-R. Beske: Anwendung von Reduktionssystemen auf Gruppen mit polynomialemwachstum geringen Grades. Dipl.-Arbeit, Aachen, ) Heinrich Reusch: Beschreibung und Implementierung der Grundstruktur eines Experten- Systems. Dipl.-Arbeit, Aachen, ) Peter Heinen: Informelle Schlußweisen auf verschiedenen Abstraktionsniveaus in einem medizinischen Expertensystem: Konzepte und Implementierung. Dipl.-Arbeit, Aachen, ) Hermann-Josef Kirschbaum: Entwicklung und Verifikation einer Fließkommaarithmetik für Mikrocomputer mit Z80 Prozessor am Beispiel der Multiplikation. Dipl.-Arbeit, Aachen, ) Constantin Thiopoulos: Realisierbarkeit und Informationssysteme. Dipl.-Arbeit, Aachen, ) Bernd Mecking: Ein System zur Verwaltung von NMR-Daten im Hinblick auf eine Diagnoseunterstützung. Dipl.-Arbeit, Aachen, ) Birgit Breuer: Bildgebungsverfahren durch Auswertung experimenteller Daten mit mehreren Parametern. Dipl.-Arbeit, Aachen ) Peter Spieker: Eine Schnittstelle zwischen PROLOG und dem IDM-DatenbankRechner. Dipl.-Arbeit, Aachen, ) Gerd Broszio: Numerische Auswertung von Magnetisierungsmeßreihen unter dem Aspekt der NMR-Bilderzeugung. Dipl.-Arbeit, Aachen, ) Thuyet Mai Romberg: Untersuchungen über die Eignung von Expertensystemen für umformtechnische Probleme unter der Berücksichtigung des Programmsystems GOSSEYN. Dipl.-Arbeit, Aachen, ) Erich Gehlen: Strukturierung und Repräsentation von Wissen dargestellt an ausgewählten Aspekten der Lagerplanung. Dipl.-Arbeit, Aachen, ) Toni Anwar: Verfeinerungen der symbolischen Darstellung von Reduktionen und ihre Benutzung bei der Implementierung des Knuth-Bendix-Vervollständigungsalgorithmus in einer funktionalen Programmiersprache. Dipl.-Arbeit, Aachen, ) Klaus Nökel: SASL: Implementierung einer Reduktionsmaschine und Steuerung und Organisation eines Beweissystems für eine Logik. Dipl.-Arbeit, Aachen, 1985.

3 3 38) Robert Rehbold: SASL: Implementierung eines Abstraktionsalgorithmus und Beweisalgorithmen für eine Logik. Dipl.-Arbeit, Aachen, ) Klaus-Dieter Althoff: Konzept und Realisierung eines Systems zur Prüfplanerstellung unter Berücksichtigung des Lernaspektes. Dipl.-Arbeit, Aachen, ) Rudi Krämer: Entwicklung und Realisierung eines mathematischen Modells zur Bestimmung von Totraum und Herzzeitvolumen während einer Narkose (Betreuung gemeinsam mit R.Repges).Dipl.-Arbeit, Aachen, ) Wolfgang Correnz: Eine natürlichsprachliche Oberfläche für ein Diagnosesystem. Dipl.- Arbeit, Aachen, ) Josef Ingenerf: Expertensystem zur automatischen Indexierung von Diagnosen am Beispiel von SNOMED. Dipl.-Arbeit, Aachen, ) Norbert Kratz: Entwicklung eines Software-Modules zur rechnergestützten Funktionsund Lösungsfindung in der Konstruktionsphase Konzipieren. Dipl.-Arbeit, Aachen, ) Hanns Joachim Uhl: Expertensysteme als Mittel der Planung in der Umformtechnik (Betreuung gemeinsam mit R. Kopp). Dipl.-Arbeit, Aachen, ) Ralf Achim Fröde: Automatische Auswahl von Bildverarbeitungsmethoden in der parameterselektiven Kernspintomographie (Betreuung gemeinsam mit R. Repges). Dipl.-Arbeit, Aachen, ) Marlies Bärtel: Optisches Überwachungssystem für Kunststoffverarbeitungsmaschinen(Betreuung gemeinsam mit G. Menges). Dipl.-Arbeit, Aachen, ) Alois Dreßen: Entwicklung eines Expertensystems zur Bestimmung der Korrosionsbeständigkeit von Kunststoffen (Betreuung gemeinsam mit G. Menges).Dipl.-Arbeit, Aachen, ) Bernd Schneider: Objektorientierte PROLOG-Erweiterungen für die Verwendung in natürlich-sprachlichen Systemen. Dipl.-Arbeit, Kaiserslautern, ) Michael Ebenig: Entwicklung und Implementierung eines objektorientierten Regelsystems mit einheitlichem Vorwärts- und Rückwärtsschließen. Dipl.-Arbeit, Kaiserslautern, ) Manfred Kern: Entwurf und Implementierung einer Wissensaquisitionskomponente für ein Expertensystemwerkzeug. Dipl.-Arbeit, Kaiserslautern, ) Thomas Legleitner: DAX - Diagnose von Automatikgetriebeschaltplatten mittels eines Expertensystems. Dipl.-Arbeit, Kaiserslautern, ) Hardy Feller: Entwicklung einer Benutzeroberfläche mit Schnittstelle zu einer relationalen Datenbank für ein Regelsystem. Dipl.-Arbeit, Kaiserslautern, ) Hans-Ulrich Krieger: NIL - eine Lisp-basierte natürlichsprachliche Schnittstelle zu RAMSES. Unterstützung der NMR-Diagnostik von Hirn- und Mammatumoren. Dipl.- Arbeit, Aachen, ) Joachim Höfener: Entwicklung von Inferenzstrategien zur Verknüpfung von Daten- und Wissensbanken ausgeführt am Beispiel von Kehlkopferkrankungen (Betreuung gemeinsam mit R. Repges). Dipl.-Arbeit, Aachen, 1987.

4 4 55) Gerd Peterhänsel: Statische Wissensrepräsentation für den diagnoseunterstützenden Teil eines Expertensystems am Beispiel von Morbus Hodgkin (Betreuung gemeinsam mit R. Repges). Dipl.-Arbeit, Aachen, ) Winfried Graf: Prozeßorientierte Wissensrepräsentation für den therapieunterstützenden Teil eines Expertensystems, ausgeführt am Beispiel des Morbus Hodgkin (Betreuung gemeinsam mit R. Repges). Dipl.-Arbeit, Aachen ) Knut Hinkelmann: SASLOG : Eine funktional - logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation. Dipl.-Arbeit, Kaiserslautern ) Michael Dahmen: Konzeption und Implementierung einer Repräsentationssprache für die Beschreibung von mechanischen Konstruktionen. Dipl.-Arbeit, Kaiserslautern, ) Christoph Herling: Entwicklung einer Erklärungskomponente und ihre Implementierung im Rahmen eines Systems zur Lagerplanung (Betreuung gemeinsam mit M. Bastian). Dipl.-Arbeit, Aachen, ) Jürgen Herr: SPADE: A Program Analysing the Stability of Finite Difference Methods for the Numerical Solution of Linear Partial Differential Equations with Constant Coefficients. Dipl.-Arbeit, Kaiserslautern, ) Simone Gladel-Speicher: Vergleichende Untersuchung der Integrationsproblematik von Diagnoseexpertensystemen und Tiefenmodellierungssprachen am Beispiel verschiedener, bereits existierender Systeme. Dipl.-Arbeit, Kaiserslautern, ) Lutz Marten: Analyse menschlicher Schlußfolgerungsprozesse zur Abbildung in ein computerimplementierbares Modell (Betreuung gemeinsam mit T. Pfeifer). Dipl.- Arbeit, Aachen, ) Robert Grob: Konzeption und Implementation eines anwendungsoptimierten Schlußfolgerungsalgorithmus (Betreuung gemeinsam mit Pfeifer). Dipl.-Arbeit, Aachen, ) Bernd Bach: Entwurf und Implementierung eines Algorithmus zu Klassifikation in semantischen Netzen. Dipl.-Arbeit, Kaiserslautern, ) Bernd Neis: PIDIAS: Entwicklung und Evaluation eines Expertensystems zur Bestimmung von Pilzen. Dipl.-Arbeit, Kaiserslautern, ) Ulrich Junker: Reasoning in Multiple Contexts. Dipl.-Arbeit, Kaiserslautern, ) Werner Karbach: Modellgestützte Wissensakquisition als Basis eines systematischen Knowledge Engineerings. Dipl.-Arbeit, Kaiserslautern, ) Michael Lessel: Modellbasierte Diagnose von Benutzer- und Systemsoftwarefehlern, dargestellt am Beispiel des UNIX-Spoolingsystems. Dipl.-Arbeit, Kaiserslautern, ) Carla Decker: Ein Expertensystem für ein Scheduling-Problem in der Fertigungssteuerung. Dipl.-Arbeit, Kaiserslautern, ) Ute Gappa: Wissensakquisition für Expertensysteme und Entwurf des Akquisitionssystems CLASSIKA für heuristische Klassifikation. Dipl.-Arbeit, Kaiserslautern, ) Irmgard Siebert: Entwurf einer Ablaufsteuerung für ein wissensbasiertes System zur Entscheidungsunterstützung bei der Überwachung und Steuerung der Hämodynamik bei kardiochirurgischen Operationen. Dipl.-Arbeit, Kaiserslautern, 1989.

5 5 72) Frank Maurer: FOMEX - Ein fehlerorientiertes, modulares Expertensystem zur Diagnose von Fehlern in einem CNC - Bearbeitungszentrum. Dipl.-Arbeit, Kaiserslautern, ) Thomas Fickert: Entwicklung eines wissensbasierten Systems zur Erstellung von Standardbelegungsplänen für eine Pressschweißgruppe. Dipl.-Arbeit, Kaiserslautern, ) Uwe Becker: Modellgestützte Testsimulation mit Zeitpropagierung für wissensbasierte Fehlerdiagnose von elektronischen Schaltungen. Dipl.-Arbeit, Kaiserslautern, ) Sabine Kockskämper: Diskussion möglicher Wissensrepräsentations- und Inferenzmechanismen zur Fehlerdiagnose eines CNC- Bearbeitungszentrums und deren Implementierung als Expertensystem in SMALLTALK-80. Dipl.-Arbeit, Kaiserslautern, ) Manfred Meyer: Ein Debugger für die objektorientierte Erweiterung von PROLOG-XT. Dipl.-Arbeit, Kaiserslautern, ) Wolfgang Wernicke: Ein System zur Verarbeitung von Erfahrungswissen in MOLTKE 2.0. Dipl.- Arbeit, Kaiserslautern, ) Konstandinos Moissadis: Repräsentation von Aufbauplänen technischer Geräte und deren Nutzung zur Herleitung kausaler Regeln und modellbasierter Diagnose. Dipl.- Arbeit, Kaiserslautern, ) Bernd Nolte: Konzeption und Realisierung eines wissensbasierten Systems zur Datenmodellierung. Dipl.- Arbeit, Kaiserslautern, ) Norbert Wölbert: Planen mit Hilfe von strukturiertem Problemwissen am Beispiel von Bauernendspielen im Schach. Dipl.- Arbeit, Kaiserslautern, ) Stefan Bergdoll: Exploration und Simulation biologisch orientierter neuronaler Netze. Dipl.-Arbeit, Kaiserslautern, ) Thomas Ernst: Prototyping für ein wissensbasiertes System zur Testplanung. Dipl.- Arbeit, Kaiserslautern, ) Udo Alexander: Erklärungskomponente für ein Expertensystem in der Konstruktion und ihre Einbettung in ein allgemeines Klassifikationsschema. Dipl.-Arbeit, Kaiserslautern, ) Christoph Klauck: Diskursrepräsentation von Frage-Antwort-Dialogen auf Basis unifikationsbasierter Grammatikformalismen. Dipl.-Arbeit, Kaiserslautern, ) Ansgar Bernardi: Ein KL-ONE ähnliches Wissensrepräsentationssystem zur Unterstützung der Diskursrepräsentation in natürlichsprachlichen Erklärungsdialogen. Dipl.-Arbeit, Kaiserslautern, ) Reinhard Praeger: Analogie und ihre Anwendung auf die Diagnoseproblematik. Dipl.- Arbeit, Kaiserslautern, ) Volker Haupenthal: Ein Konzept zur Benutzermodellierung in technischen Expertensystemen. Dipl.-Arbeit, Kaiserslautern, ) Andreas Ruppel: Assoziatives Problemlösen mit Hilfe fallbasierter und konnektionistischer Methoden am Beispiel technischer Diagnose. Dipl.-Arbeit, Kaiserslautern, 1990.

6 6 89) Oliver Wendel: Identifikation und Evaluation von Klassifikationsdimensionen für Machine-Learning Systeme. Dipl.-Arbeit, Kaiserslautern, ) Ralf Scheidhauer: Modellierung und Simulation dynamischer technischer Systeme. Dipl.-Arbeit, Kaiserslautern, ) Martin Alt: Modellbasierte Diagnose dynamischer technischer Systeme mit qualitativer Simulation. Dipl.-Arbeit, Kaiserslautern, ) Theodor Scheibling: Resolution von semantischen und referentiellen Mehrdeutigkeiten in natürlichsprachlichen, aufgabenorientierten Dialogen. Dipl.-Arbeit, Kaiserslautern, ) Sabine Küther: Wissensbasierte Konfiguration und ihre Einbindung in ein integriertes System. Dipl.-Arbeit Kaiserslautern 1990.Standard-PPS-System. Dipl.-Arbeit, Kaiserslautern, ) Gerd Governeur: Implementierung eines Vervollständigungsalgorithmus zur Erzeugung von grundkonfluenten und globalfiniten Regelsystemen als Komponente eins integrierten Spezifikations- und Verifikationswerkzeugs. Dipl.-Arbeit, Kaiserslautern, ) Hans Lamberti: Modellbasierte Generierung zeitlich verteilter Tests zur technischen Diagnose. Dipl.-Arbeit, Kaiserslautern, ) Ralph Bergmann: Generierung von Skelettplänen als Problem der Wissensakquisition. Dipl.-Arbeit, Kaiserslautern, ) Johannes Viegener: Eine graphische Wissensakquisitionsschnittstelle für Maschinenmodelle. Dipl.-Arbeit, Kaiserslautern, ) Jürgen Paulokat: Ein System zur Verarbeitung und Relaxierung von Constraints. Dipl.- Arbeit, Kaiserslautern, ) Stephan C. Böcher: Integration der Wissensakquisitionswerkzeuge MAKE und GenRule für die Entwicklung des technischen Diagnosesystems in MOLTKE. Dipl.-Arbeit, Kaiserslautern, ) Stefan Weß: PATDEX/2-Ein System zum adaptiven, fallfokussierenden Lernen in technischen Diagnosesituationen. Dipl.-Arbeit, Kaiserslautern, ) Michael Kolb: Methodische Überlegungen zur Verifikation von PROLOG mit Rewrite- Techniken. Dipl.-Arbeit, Kaiserslautern, ) Detlev Struck: Design and Implementation of a Natural Language System for the Editor "Snorri". Dipl.-Arbeit, Kaiserslautern, ) Bernhard Humm: Entwicklung und Implementierung eines wissensbasierten Ähnlichkeitsmaßes für die fallbasierte Planung am Beispiel der Arbeitsplanung für die Teilefertigung. Dipl.-Arbeit, Kaiserslautern, ) Andreas Molitor: Wissensakquisitionstechniken für die MOLTKE- Expertensystemshell anhand der Fehlerdiagnose in heterogenen Rechnernetzen. Dipl.-Arbeit Kaiserslautern, ) Gerd Kamp: Entwurf, vergleichende Bewertung und Integration eines Arbeitsplan- Erstellungssystems für Drehteile. Dipl.-Arbeit, Kaiserslautern, 1991.

7 7 106) Thomas Krause: Globale Datenflußanalyse und horizontale Compilation der relationalfunktionalen Sprache RELFUN. Dipl.-Arbeit, Kaiserslautern, ) Bernd Bachmann: HieraCon: A Knowledge Representation System with Typed Hierarchies and Constraints. Dipl.-Arbeit, Kaiserslautern, ) Holger Wache: Ein TMS-unterstützter Interpretationsmechanismus für eine konzeptorientierte Wissensrepräsentation. Dipl.-Arbeit, Kaiserslautern, ) Thilo Horstmann: Distributed Truth Maintenance. Dipl.-Arbeit, Kaiserslautern, ) Karin Langbehn: Evaluation thermodynamischer neuronaler Netze. Dipl.-Arbeit, Kaiserslautern, ) Dido Köhler: Compiler zur Transformation einer regelbasierten Wissensbasis eines Online- Diagnoseexpertensystems in ein laufzeitoptimiertes C-Programms. Dipl.-Arbeit, Kaiserslautern, ) Ralph Scheubrein: Integration eines deduktiven Datenbanksystems in eine Logikprogrammiersprache. Dipl.-Arbeit, Kaiserslautern, IBM 113) Michael Stadler: Vergleich von fallbasierten, induktiven und statistischen Lernverfahren. Dipl.-Arbeit, Kaiserslautern, ) Mario Feierstein: A Model of Cooperative Action. Dipl.-Arbeit, Kaiserslautern, ) Michael Mehl: Nichtmonotone Aspekte des fallbasierten Schließens und deren Fundierung in Default-Logik mit Prioritäten. Dipl.-Arbeit, Kaiserslautern, DFKI 116) Jörg Müller: FIDO II. Design and Implementation of a Constraint Logic Programming System based on PROLOG with Coroutining. Dipl.-Arbeit, Kaiserslautern, 1991.DFKI 117) Ulrich Meyer: Konzeption und Implementierung eines Expertensystems im Bereich des städtebaulichen Lärmschutzes. Dipl.-Arbeit, Kaiserslautern, ) Ingo Frobenius: Verfahren der Clusteranalyse, der künstlichen Intelligenz und der neuronalen Netze zum Unsupervised Learning. Dipl.-Arbeit, Kaiserslautern, ) Bernhard Becker: Wissensbasierte Lernverfahren und ihre Anwendung auf die Problematik der Diagnose technischer Systeme. Dipl.-Arbeit, Kaiserslautern, ) Andreas Becker: Analyse der Planungsverfahren der KI im Hinblick auf ihre Eignung für die Arbeitsplanung. Dipl.-Arbeit, Kaiserslautern, ) Eric. C. Schaumlöffel: Konzeption und Implementierung einer Komponente zur Repräsentation und Verarbeitung räumlicher Abhängigkeiten in der Expertensystem- Shell IDA-3. Dipl.-Arbeit, Kaiserslautern ) Michael Schmitz: Sicherheit in induktiven Lernverfahren. Dipl.-Arbeit, Kaiserslautern ) Dirk Reichardt: Ähnlichkeitsbasierte Verkehrszeichenerkennung. Dipl.-Arbeit, Kaiserslautern ) Andreas Schuch: imake. Inkremnentelle Modellierung und Simulation technischer Geräte zur Generierung einer Wissensbasis für MOLTKE 3.0. Dipl.-Arbeit, Kaiserslautern, 1992.

8 8 125) Elmar Then: Indizierung und Retrieval in einem Fallgedächtnis zur Wissensanpassung in diagnostischen MOLTKE-Expertensystemen. Dipl.-Arbeit, Kaiserslautern, ) Klaus Becker: Verfahren der automatisierten Diagnose technischer Systeme. Dipl.- Arbeit, Kaiserslautern, ) Harald Aust: Ein graphisches System zur Verwaltung verteilter, hierarchischer Wissensbasen im Mehrbenutzerbetrieb - Konzeption und Implementierung. Dipl.-Arbeit, Kaiserslautern, ) Jakob Mauss: Ein heuristisch gesteuerter Chart-Parser für attributierte Graph- Grammatiken. Dipl.-Arbeit, Kaiserslautern, ) Kerstin Becker: Möglichkeiten der Wissensmodellierung in technischen Diagnose - Expertensystemen. Dipl.-Arbeit, Kaiserslautern, ) Stefan Schrödl: Kopplung von numerischen und symbolischen Methoden bei der Analyse neurophysiologischer Experimente. Dipl.-Arbeit, Kaiserslautern, ) Peter Graf: Unification using dynamic sorts. Dipl.-Arbeit, Kaiserslautern, ) Andreas Dannemann: Maschinelles Lernen von Prozedurwissen aus Musterlösungen von Programmierproblemen. Dipl.-Arbeit, Kaiserslautern, ) Christian Falter: Compilation von Vorwärtsregeln in einer hybriden Expertensystem- Shell. Dipl.-Arbeit, Kaiserslautern, ) Wolfgang Fluck: Anwendungsmöglichkeiten verteilter Künstlicher Intelligenz in Expertensystemen zur Bestimmung von Laufkäfern. Dipl.-Arbeit, Kaiserslautern, ) Gunter Silz: Verifikation und Umsetzung eines Planungsansatzes für die wissensbasierte Arbeitsplanung mit dem Expertensystementwicklungswerkzeug KEE. Dipl.-Arbeit, Kaiserslautern, ) Johannes Schwagereit: Integration von Graph-Grammatiken und Taxinomien zur Repräsentation von features in CIM. Dipl.-Arbeit, Kaiserslautern, ) Helge Hintze: Kriterien für die effiziente Interpretation deklarativer Regelsysteme. Dipl.- Arbeit, Kaiserslautern, ) Michael Ridder: Konzeption und Realisierung einer Schnittstelle zur visuellen Bereitstellung von Werkstückinformationen bei der Unterstützung interaktiver Arbeitsabläufe in der Arbeitsplanung. Dipl.-Arbeit, Kaiserslautern, ) Joachim Mack: Konzeption und Implementierung einer Maschinenbelegungsplanung in das Fertigungssteuerungssystem FLS. Dipl.-Arbeit, Kaiserslautern, ) Gereon Koks: Entwicklung einer Testumgebung zur Bewertung der Integrationsmöglichkeiten von GenRule, PATDEX und der MOLTKE-Shell. Dipl.-Arbeit, Kaiserslautern, ) Arno Hitzges: Mehrbenutzerverwaltung für das Hypermedia System HyperCAKE. Dipl.- Arbeit, Kaiserslautern, ) Thomas Jäckel: Entwurf und Implementierung einer Benutzeroberfläche für ein Expertensystem unter Berücksichtigung planerischer Vorgehensweisen. Dipl.-Arbeit, Kaiserslautern, 1992.

9 9 143) Heiner Hemker: Entwurf und Implementierung eines Expertensystems mit GIS- Kopplung. Dipl.-Arbeit, Kaiserslautern, ) Hans-Günther Hein: Propagation techniques in WAM based architectures: FIDO III. Dipl.-Arbeit, Kaiserslautern, ) Markus Krupp: Vergleichende Betrachtungen von Optimal- und genetischen Algorithmen in der Maschinenbelegungsplanung und Implementation in das Fertigungssteuerungssystem FLS. Dipl.-Arbeit, Kaiserslautern, ) Hannes Öchsner: Mehrdimensionale Zugriffspfadstrukturen für das ähnlichkeitsbasierte Retrieval von Fällen. Dipl.-Arbeit, Kaiserslautern, ) Andreas Kiefer: GraMod: Ein objektorientiertes, featurebasiertes Entwurfssystem für rotationssymmetrische Drehteile. Dipl.-Arbeit, Kaiserslautern, ) Monika Keil: Automatic Reasoning Using Dynamic Sorts, Dipl.-Arbeit, Kaiserslautern, ) Harald Blees: Entwurf und Implementierung eines Konverters für STEP-Datenfiles in eine Geometrie- und Technologie-Repräsentationsform wissensbasierter Produktmodelle. Dipl.-Arbeit, Kaiserslautern, ) Helmut Ritzer: Konzeption und Implementierung einer TMS-basierten Komponente zur Verwaltung von Abhängigkeiten bei der Konfiguration und Planung. Dipl.-Arbeit, Kaiserslautern, ) Andreas Rippel: Ähnlichkeitsbasiertes Retrieval in Netzen. Dipl.-Arbeit, Kaiserslautern, ) Ernst-Georg Haffner: Analyse dynamischer Lernregeln für Case-Based Learning Systeme. Dipl.-Arbeit, Kaiserslautern, ) Vera Kamp: Räumliches Schließen. Dipl.-Arbeit, Kaiserslautern, ) Jürgen Wäsch: Spezifikation und Implementierung eines generativen Planungssystems zur Unterstützung der Arbeitsplanung bei der computerintegrierten Fertigung (CIM). Dipl.-Arbeit, Kaiserslautern, ) Christoph Globig: Fallbasiertes und symbolisches Lernen. Dipl.-Arbeit, Kaiserslautern, ) Bidjan Tschaitschian: Multiple Abstraktion und Rekonkretisierung verschiedenartiger Erfahrungen. Dipl.-Arbeit, Kaiserslautern, ) Thomas Labisch: Entwicklung eines Vorwärts-/Rückwärtssystems für logische Programme in einer hybriden Expertensystem-Shell. Dipl.-Arbeit, Kaiserslautern, ) Markus Müller: Assoziatives Retrieval von semantischen Netzwerken für das fallbasierte Schließen. Dipl.-Arbeit, Kaiserslautern, ) Wolfgang Haupenthal: Entwicklung einer objektorientierten Sprache zur Operationalisierung konzeptioneller Modelle. Dipl.-Arbeit, Kaiserslautern, ) Werner Stein: Nutzung gobaler Analysetechniken in einem optimierenden Compiler für die Constraint-Logic-Programming-Sprache FIDO III. Dipl.-Arbeit, Kaiserslautern, 1993.

10 10 161) Gernod P. Laufkötter: Zur konnektionistischen Klassifikation von Bildinhalten. Dipl.- Arbeit, Kaiserslautern, ) Bernhard Herbig: Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus. Dipl.-Arbeit, Kaiserslautern, 1993 (FB Mathematik). 163) Jens Dupont: Eine Ontologie für Drehteile in der Arbeitsteilung. Dipl.-Arbeit, Kaiserslautern, ) Jürgen Schuhmann: Vergleich von artifiziellen und biologisch orientierten Lernregeln. Dipl.-Arbeit, Kaiserslautern, ) Dennis Drollinger: Intelligentes Backtracking in Inferenzsystemen am Beispiel terminologischer Logiken. Dipl.-Arbeit, Kaiserslautern, ) Robert Laux: Untersuchung maschineller Lernverfahren und heuristischer Methoden Im Hinblick auf deren Kombination zur Unterstützung eines Chart-Parsers. Dipl.-Arbeit, Kaiserslautern, ) J. Rahmer: Bewertender Vergleich von Wissensaustauschformaten. Dipl.-Arbeit Komponente zur erklärungsbasierten Herleitung von Fallauswahlwissen im Planungssystem CABPLAN. Dipl.-Arbeit, Kaiserslautern, ) Frank Goebel: Optimiertes Retrieval von Fallbeispielen mit k-d-bäumen. Dipl.-Arbeit, Kaiserslautern, ) Lassaad Cheikhrouhou: Konzeption und Implementierung einer Komponente zur erklärungsbasierten Herleitung von Fallauswahlwissen im Planungssystem CabPlan. Dipl.-Arbeit, Kaiserslautern, ) Thomas Renner: Konzeption und Implementierung eines Fallgedächtnisses für fallbasiertes Schließen. Dipl.-Arbeit, Kaiserslautern, ) Christof Kremer: Konzeption einer deklarativen Wissensbasis über technisches Recycling. Dipl.-Arbeit, Kaiserslautern, ) Ute Kaul: Konzeption und Implementierung einer Komponente zur begriffshierarchieorientierten Repräsentation von strukturellem und heuristischem Konfigurationswissen. Dipl.-Arbeit, Kaiserslautern, ) Wolfgang Schittko: Strukturüberwachung von semi-formalen Wissensbasen. Dipl.-Arbeit, Kaiserslautern, ) Gerhard Burgun: Transformation logischer Programme zur Abduktion im Kontext der Theorie-Revision. Dipl.-Arbeit, Kaiserslautern, ) Ulrich Buhrmann: Erstellung einer deklarativen Wissensbasis über recyclingrelevante Materialien. Dipl.-Arbeit, Kaiserslautern, ) Peter Kammer: Fallbasiertes Retrieval von Arbeitsplänen für rotationssymmetrische Drehteile. Dipl.-Arbeit, Kaiserslautern, ) Oliver Lemke: Truth Maintenance mit integrierter Constraint-Propagierung. Dipl.-Arbeit, Kaiserslautern, ) Arthur Rupert Thiel: Abbildung räumlicher Strukturen auf neuronalen semantischen Netzen. Dipl.-Arbeit, Kaiserslautern, 1994.

11 11 179) Björn Heiko Höfling: Entwicklung eines wissensbasierten Konstruktionsunterstützungssystems für Motorsägenkurbelwellen. Dipl.-Arbeit, Kaiserslautern, ) Rainer Deventer: Extraktion und Simplifikation von Regeln aus Boltzmannmaschinen. Dipl.-Arbeit, Kaiserslautern, ) Guido Derwand: Effizientes Retrieval und Extraktion von Entscheidungswissen mit k-d- Bäumen. Dipl.-Arbeit, Kaiserslautern, ) Amer Qaqish: Verwaltung von NMR-Tomographieaufnahmen in einer hypermediafähigen Umgebung. Dipl.-Arbeit, Kaiserslautern, ) Stefan Jörger: Konzeption und Implementierung einer Komponente zur rechnergestützten Akquisition von Kontrollwissen im Konfigurationssystem IDAX. Dipl.- Arbeit, Kaiserslautern, ) Holger Hoch: Konzeption und Implementierung einer begriffshierarchieorientierten Steuerung des Konzeptions- und Konfigurationsprozesses in der Expertensystemshell IDAX. Dipl.-Arbeit, Kaiserslautern, ) Gerhard Pews: MoCAS/2 - Fallbasierte Diagnose in technischen Domänen. Dipl.-Arbeit, Kaiserslautern, ) Volker Becker: Ermittlung von Anforderungen und prototypische Implementierung einer Benutzerschnittstelle zur Wissensevolution durch den Anwender. Dipl.-Arbeit, Kaiserslautern, ) Thomas Wirz: Entwicklung einer bildauswertungsorientierten Inferenzmaschine in Cyclops. Dipl.-Arbeit, Kaiserslautern, ) Andreas Abecker: TaxLog: Taxonomische Wissensrepräsentation und Logisches Programmieren. Dipl.-Arbeit, Kaiserslautern, ) Michael Schmidt: Analyse, Implementierung und Integration von induktiven Werkzeugen zur Evolution von wissensbasierten Systemen. Dipl.-Arbeit, Kaiserslautern, ) Frank Weberskirch: Realisierung eines nichtlinearen Planungssystems zur Unterstützung der Arbeitsplanerstellung bei der computerintegrierten Fertigung (CIM). Dipl.-Arbeit, Kaiserslautern, ) Willi-Gerd Schmitz: Multiple Aufgabenzerlegung von konzeptuellen Modellen. Dipl.- Arbeit, Kaiserslautern, ) Wolfgang Wilke: Entwurf, Implementierung und experimentelle Bewertung von Auswahlverfahren für abstrakte Pläne in dem fallbasierten Planungssystem PARIS. Dipl.-Arbeit, Kaiserslautern, ) Thomas Reinartz: Fallbasiertes Schließen zur Wiederverwendung von Ausschnitten der Smalltalkbibliothek. Dipl.-Arbeit, Kaiserslautern, ) Jürgen Rahmel: KoDiag: Eine Methodik zur Erstellung konnektionistischer Expertensysteme. Dipl.-Arbeit, Kaiserslautern, ) Harald Meyer auf'm Hofe: Arithmetische Constraints als Spezialfall sortenspezifischer Constraintpropagierung in Expertensystemen. Dipl.-Arbeit, Kaiserslautern, 1994.

12 12 196) Michael Kreinbihl: COSYPLAN: Constraintbasiertes System zur Terminplanung. Dipl.- Arbeit, Kaiserslautern, ) Frank Steinle: Entwurf und Implementierung eines Frameworks für Constrainttechniken. Dipl.-Arbeit, Kaiserslautern, ) Fredj Dridi: Konzeption und Implementierung einer generischen Schnittstelle zum Wissensaustausch. Dipl.-Arbeit, Kaiserslautern, ) Reinhard Überschär: Das Aggregationsverhalten unscharfer Ähnlichkeitsmaße und Klassifikatoren. Dipl.-Arbeit, Paderborn, 1994; Betreuung gemeinsam mit H. Kleine Büning. 200) Lothar Becker: K.:Anforderungsanalyse für den Einsatz automatischer Lernverfahren in Datenbanken am Beispiel eines Qualitäts-Informations-Systems in der Automobilindustrie, Dipl.-Arbeit, Kaiserslautern, ) Enrik Beste: Evaluierung und Erweiterung von CoMo-Kit anhand des Beispiels Bebauungsplanung, Dipl.-Arbeit, Kaiserslautern, ) Barbara Dellen: Verwaltung von Abhängigkeiten bei der Operationalisierung konzeptueller Modelle, Dipl.-Arbeit, Kaiserslautern, ) Volker Ehresmann: Integration ressourcen-orientierter Techniken in das wissensbasierte Konfigurierungssystem TOOCON, Dipl.-Arbeit, Kaiserslautern, ) Bernd Gaede: Superposition extended with Sorts, Dipl.-Arbeit, Kaiserslautern, ) Oliver Graeff: Zeitplanung für komplexe wissensbasierte Informationssysteme, Dipl.- Arbeit, Kaiserslautern, ) Christiane Gresse: Konzeption und Implementierung eines Wissensbasismodells zur Unterstützung der automatischen Auswertung von NMR-Tomographien, Dipl.-Arbeit, Kaiserslautern, ) Claus-Werner Hennecke: Konzeption und Implementierung eines Erwartungsauswertungsmoduls in CYCLOPS, Dipl.-Arbeit, Kaiserslautern, ) Michael Herfert: Deklarative, statische und dynamische Software-Module, Dipl.-Arbeit,Kaiserslautern, ) Felix Hess: Mustererkennung mit Wavelet Packets am Beispiel neurophysiologischer Signale, Dipl.-Arbeit, Kaiserslautern, ) Stefan Huwer: Ein Ansatz zur automatischen Deduktion von malignen Veränderungen der Mamma anhand kontrastmittelangereicherten MR Aufnahmen, Dipl.-Arbeit, Kaiserslautern, ) Vera Kettnaker: Konzeption und Realisierung einer Toolbox statischer Kontrollmethoden zur Steuerung eines Causal Link Planers, Dipl.-Arbeit, Kaiserslautern, ) Kirstin Kohler: Design Rationale bei der Modellierung und Abwicklung von Entwurfsprozessen, Dipl.-Arbeit, Kaiserslautern, ) Frank Peters: Erstellung und Wiederverwendung von Templates zur formalen Repräsentation von strukturiertem Textwissen, Dipl.-Arbeit, Kaiserslautern, 1995

13 13 214) Carsten Priebisch: Integration von fallbasierter und kontextbasierter Diagnose am Beispiel der Systeme INRECA und S, Dipl.-Arbeit, Kaiserslautern, ) Frank Schepp: Verwaltung von Abhängigkeiten in flexiblen Arbeitsabläufen, Dipl.-Arbeit, Kaiserslautern, ) Werner Schirp: Konzeption und Implementierung einer Komponente zur regelbasierten Auswahl von Konfigurationsschritten, Dipl.-Arbeit, Kaiserslautern, ) Michael Sintek: FLIP: Functional-plus-Logic Programming on an Integrated Platform, Dipl.-Arbeit, Kaiserslautern, ) Winfried Tautges: Rechnerunterstützte Bewertung von Konstruktionsvorschlägen im Maschinenbau mit flexibel gestaltbarer Domänenspezifikation, Dipl.-Arbeit, Kaiserslautern, ) Karl-Heinz Weiß: Bewertung integrierter fallbasierten Systeme, Dipl.-Arbeit, Kaiserslautern, ) Stefan Lorscheid: Verwaltung und objektorientierte Repräsentation von geographischen Daten, Dipl.-Arbeit, Kaiserslautern, ) Norbert Zeitler: Entwurf, Implementierung und Bewertung einer Testumgebung für das fallbasierte System INRECA, Dipl.-Arbeit, Kaiserslautern, ) Stefan Huwer: Ein Ansatz zur automatischen Deduktion von malignen Veränderungen der Mamma anhand kontrastmittelangereicherter MR-Aufnahmen, Dipl.-Arbeit, Kaiserslautern, ) Max Wolf: Workflow-Management mit einer objekt-orientierten Datenbank, Dipl.-Arbeit, Kaiserslautern, ) Boris Kötting: Konzeption und Implementierung einer Sprache für Software- Entwicklungsprozesse, Dipl.-Arbeit, Kaiserslautern, ) Frank Leidermann: Ein Hypermedia-basiertes Informationssystem zur Visualisierung komplexer Arbeitsabläufe am Beispiel der Bebauungsplanung, Dipl.-Arbeit, Kaiserslautern, ) Christoph Keller: Realisierung hierarchischer Aktionsdekomposition im Planungswerkzeug CAPLAN zur Unterstützung der Arbeitsplanerstellung bei der computerintegrierten Fertigung (CIM), Dipl.-Arbeit, Kaiserslautern, ) Harald Holz: Erweiterung eines Konfigurationssystems um Techniken des fallbasierten Schließens, Dipl.-Arbeit, Kaiserslautern, ) Thomas Roth-Berghofer: Erklärungsbasiertes Lernen von Kontrollinformationen aus Fehlschlägen bei der Planung, Dipl.-Arbeit, Kaiserslautern, ) Elisabeth Daub: Beeinflussung des Lernverhaltens in der Induktiven Logischen Programmierung, Dipl.-Arbeit, Kaiserslautern, ) Peter Conrad: Konzeption und Implementierung eines allgemeinen Erwartungsauswertungsmoduls in Cyclops, Dipl.-Arbeit, Kaiserslautern, ) Alexandre Meissonnier: Ein fallbasiertes Informationssystem für fallbasierte Anwendungen und Systeme auf der Basis von INRECA, Dipl.-Arbeit, Kaiserslautern, 1996

14 14 232) Dirk Krechel: Automatische dreidimensionale Registrierung von MR-Kopfaufnahmen, Dipl.-Arbeit, Kaiserslautern, ) Volkmar Pipek: Dynamische Änderungen an Prozeßmodellen, Dipl.-Arbeit, Kaiserslautern, ) Andreas Niehaus: Problemspezifikation für die Arbeitsplanerstellung rotationsymmetrischer Drehteile mit Autocad. Dipl.-Arbeit, Kaiserslautern, ) Sigrid Goldmann: Procura: A Model of Combined Design Support and Project Management in an Agent-Based Environment, Dipl.-Arbeit, Kaiserslautern, ) Susanne Meyfahrt: Entwicklung eines transformationsorientierten Adaptionskonzeptes zum fallbasierten Schließen in INRECA, Dipl.-Arbeit, Kaiserslautern, ) Ralph Comes: Konzeption in Implementierung einer bildauswertungsorientierten Konfigurationswissensbasis, Dipl.-Arbeit, Kaiserslautern, ) Martin Neumann: Ein Phrasen-basiertes Retrieval-Modell, Dipl.-Arbeit, Kaiserslautern, ) Michael Albin: Konzept und Implementierung eines fallbasierten Systems zur Verkaufsunterstützung im Internet, Dipl.-Arbeit, Kaiserslautern, ) Ivo Vollrath: Ähnlichkeitsbasiertes Retrieval zur Wiederverwendung elektronischer Schaltungen, Dipl.-Arbeit, Kaiserslautern, ) Patrick Breuer: CytologyTool: Ein Werkzeug zur automatischen Segmentierung und Nuclei-Lokalisierung in cytologischen Aufnahmen. Staatsexamensarbeit für das Lehrmamt Kaiserslautern ) Christoph Arenz: Modellierung von Softwareengineering-Prozessen mit MILOS, Dipl.- Arbeit, Kaiserslautern, ) Simone Andel: Entwicklung und Untersuchung von Heuristiken bei der Generierung von räumlichen Konfigurationen, Dipl.-Arbeit, Kaiserslautern, ) Sascha Schmitt: Web-based Software Process Modeling with CoMo-Kit, Dipl.-Arbeit, Kaiserslautern, ) Christian Pape: Behandlung nicht erfüllter Erwartungen in der Konfiguration von wissensbasierten Bildauswertungsprozessen, Dipl.-Arbeit, Kaiserslautern, ) Jochem Hüllen: Effizienzsteigerung des partiellordnenden Planers CAPlan mit Hilfe von Operatorgraphen, Dipl.-Arbeit, Kaiserslautern, ) Christoph Claus: Konzeption und Implementierung eines Modells zum phrasenbasierten Retrieval, Dipl.-Arbeit, Kaiserslautern, ) Thomas Rüger: Behandlung von Risiken in CoMo-Kit, Dipl.-Arbeit, Kaiserslautern, ) Jürgen Schumacher: Entwurf und Implementierung eines wissensintensiven Verfahrens zur Produktkonfiguration für "Electronic-Commerce-Anwendungen, Dipl.-Arbeit, Kaiserslautern, ) Frank Neblung: Validierung und Erweiterung der Prozeßmodellierungssprache MILOS. Dipl.-Arbeit, Kaiserslautern, 1998

15 15 251) Frank Heister: Design and Realisation of concepts for maintenance of case-hbased reasoning systems, Dipl.-Arbeit, Kaiserslautern, ) Ursula Balg: Wiederverwendung von Entwurfsmustern durch ein Workflow- Management-System, Dipl.-Arbeit, Kaiserslautern, ) Christian Buch: Design and Realisation of a Sales Agent to present Products in a Electronic Commerce Shop, Dipl.-Arbeit, Kaiserslautern, ) Klaus Mandola: Visual Cyclops - ein interaktives System zur Modellierung von wissensbasierten Bildverarbeitungsapplikationen, Dipl.-Arbeit, Kaiserslautern, ) Michael Donner: Architekturen zur Integration von CBR-Systemen mit Ralationalen für E-Commerce, Dipl.-Arbeit, Kaiserslautern, ) André Hüttemeister: Wartung einer Fallbasis, Dipl.-Arbeit, Kaiserslautern, ) Daniel Bolender: Entwurf und Realisierung von Komponenten zur Akquisition in Electronic-Commerce Verkaufsshops auf der Grundlage von fallbasiertem Schließen, Dipl.-Arbeit, Kaiserslautern, ) Martin Schaaf: Ein System zum Kommunikationsmanagement verteilter Objekte in JAVA, Dipl.-Arbeit, Kaiserslautern, ) Michael Schlindwein: A Framework Using Computer Agents to Provide Automatic Execution Support for Processes in Software Development Projects, Dipl.-Arbeit, Kaiserslautern, ) Nils Magnus: Design and Implementation of Case-Based Reasoning Retrieval by Case Retrieval Networks for Structured/Complex Domains, Dipl-Arbeit, Kaiserslautern, ) Andreas Raquet: Dynamic Project Management for Distributed Construction Processes, Dipl.-Arbeit, Kaiserslautern, ) Alexander Herzlinger: Distributed Workflow Management Approach for Process oriented Knowledge Management Systems, Dipl.-Arbeit, Kaiserslautern, ) Sascha Mungenas: Entwicklung eines Ansatzes zur verteilten Abarbeitung eines Workflows in einem Virtuellen Unternehmen, Dipl.-Arbeit, Kaiserslautern, ) Dietmar Lippold: Ein Modell zum Information-Filtering beim Phrasen-Retrieval,Dipl.- Arbeit, Kaiserslautern, ) Thomas Nett: Realisierung einer Java-basierten Abarbeitungskomponente für ein Dialog-Kontroll-Netzwerk in einer Electronic-Commerce-Anwendung, Dipl.-Arbeit, Kaiserslautern, ) Alexander Schwikkard: Information Retrieval auf der INRECA-Erfahrungsdatenbank via Internet. Dipl.-Arbeit, Kaiserslautern, ) Armin Stahl: Recursive Case-Based Reasoning and its Application for Product Configuration in E-Commerce Environments, Dipl.-Arbeit, Kaiserslautern, ) Dirk Jerusalem: Analyse des Akquisitionsprozesses von Kundenbedürfnissen in E- Commerce- Anwendungen und Entwurf einer geeigneten Beschreibungssprache, Dipl.-Arbeit, Kaiserslautern, 2000

16 16 269) Anna Perekhod: Decisions under incomplete and partially incorrect information under time restriction: An example of crisis management. Master Thesis, Fachbereich Mathematik, Kaiserslautern, ) Andreas Zimmermann: Generalisierte Fälle: Repräsentation und anwendungsgerechte Adaption elektronischer Entwürfe, Dipl.-Arbeit, Kaiserslautern, ) Timo See: Konzeption und Implementierung eines Modells zur automatischen Dokumentklassifikation, Dipl.-Arbeit, Kaiserslautern, ) Arne Könnecker: Extending a process-centred SEE by context-specific knowledge delivery, Dipl.-Arbeit, Kaiserslautern, ) Stella Christofidelli: Verwaltung von Abhängigkeiten und Entscheidungen bei der Planung und Ausführung von Software-Entwicklungsprozessen, Dipl.-Arbeit, Kaiserslautern, ) Bernd Fröhlich: Konzeption und Realisierung eines Moduls zur Interpretation von Benutzeraanfragen im WebPlan System. Staatsexamensarbeit für das Lehramt Kaiserslautern ) Kerstin Faber: The Process Oriented Knowledge Management Tool POKMAT, with an Application to Radiological Knee Examinations, Dipl.-Arbeit, Kaiserslautern, ) Karsten Droste: Stadtmaschine TNG. Ein Multi-Agenten-System, Dipl.-Arbeit, Kaiserslautern, 200=: 277) Torsten Spindler: Erweiterung der Repräsentationssprache für Planung in dynamischen Domänen,Dipl.-Arbeit, Kaiserslautern, ) Armin Hust: Prediction of User Access Behavior to Distributed Data Objects, Dipl.-Arbeit, Kaiserslautern, ) Rainer Maximini: Basesystem for Maintenance of a Case-Based Reasoning System, Dipl.-Arbeit, Kaiserslautern, ) Jürgen Acker: Wissensrepräsentation und Verarbeitung bei der planungsbasierten Informationssuche, Dipl.-Arbeit, Kaiserslautern, ) Gerhard Landeck: Modellierung und Verarbeitung domänenspezifischer Abhängigkeiten in MILOS, Dipl.-Arbeit, Kaiserslautern, ) Boris Schadt: Die Erweiterung eines virtuellen Marktplatzes zur Unterstützung verteilt operierender Unternehmen, Dipl.-Arbeit, Kaiserslautern, ) Jörg Hohwiller: Automatic negociation on software development tasks, Dipl.-Arbeit, Kaiserslautern, ) Andreas Kohlmaier: User Adaptive Dialog Strategies of Intelligent Agents in Electronic Commerce Applications, Dipl.-Arbeit, Kaiserslautern, ) Guido Mayer: Erweiterung einer prozessorientierten Software-Entwicklungsumgebung um ähnlichkeitsbasiertes Knowledge-Management, Dipl.-Arbeit, Kaiserslautern, ) Babak Mougouie: Optimization of Distance/Similarity Functions under Linear and Nonlinear Constraints with Applications in Case-Based Reasoning. Master Thesis, Kaiserslautern, 2001.

17 17 287) Alexander Tartakowski: Heuristische Methoden zur Kontrolle der Planung und Planausführung, Dipl.-Arbeit, Kaiserslautern, ) Thorsten Müller: A Rule Based Knowledge Representation for IP Qualification, Dipl.- Arbeit, Kaiserslautern, ) Katja Steuernagel: Data Mining im E-Commerce am Beispiel der Deutschen Bahn AG, Dipl.-Arbeit, Kaiserslautern, ) Roland Frieß: Entwurf und Realisierung einer webbasierten Datenbankverwaltung für ZERBERUS, Dipl.-Arbeit, Kaiserslautern, ) Thomas Sauer: Project History and Decision Dependencies, Dipl.-Arbeit, Kaiserslautern, ) Thomas Gabel: Learning Similarity Measures: Strategies to Enhance the Optimisation Process. Dipl.-Arbeit, Kaiserslautern, ) Philip Dopichaj: Improving Retrieval in Textual CBR Using Information Retrieval Techniques. Dipl.-Arbeit, Kaiserslautern, ) Jochen Schaefer: Capture, Distribution and Evolution of Information Needs in a Process-Oriented Knowledge Management Environment. Dipl.-Arbeit, Kaiserslautern, 2003.