EXAMENSARBEITEN

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

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

3
38) Robert Rehbold: SASL: Implementierung eines Abstraktionsalgorithmus und
Beweisalgorithmen für eine Logik. Dipl.-Arbeit, Aachen, 1985.
39) Klaus-Dieter Althoff: Konzept und Realisierung eines Systems zur Prüfplanerstellung
unter Berücksichtigung des Lernaspektes. Dipl.-Arbeit, Aachen, 1986.
40) 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, 1986.
41) Wolfgang Correnz: Eine natürlichsprachliche Oberfläche für ein Diagnosesystem. Dipl.-
Arbeit, Aachen, 1986.
42) Josef Ingenerf: Expertensystem zur automatischen Indexierung von Diagnosen am
Beispiel von SNOMED. Dipl.-Arbeit, Aachen, 1986.
43) Norbert Kratz: Entwicklung eines Software-Modules zur rechnergestützten Funktions-
und Lösungsfindung in der Konstruktionsphase Konzipieren. Dipl.-Arbeit, Aachen, 1986.
44) Hanns Joachim Uhl: Expertensysteme als Mittel der Planung in der Umformtechnik
(Betreuung gemeinsam mit R. Kopp). Dipl.-Arbeit, Aachen, 1986.
45) Ralf Achim Fröde: Automatische Auswahl von Bildverarbeitungsmethoden in der
parameterselektiven Kernspintomographie (Betreuung gemeinsam mit R. Repges).
Dipl.-Arbeit, Aachen, 1986.
46) Marlies Bärtel: Optisches Überwachungssystem für Kunststoffverarbeitungsmaschinen(Betreuung
gemeinsam mit G. Menges). Dipl.-Arbeit, Aachen, 1987.
47) Alois Dreßen: Entwicklung eines Expertensystems zur Bestimmung der Korrosionsbeständigkeit
von Kunststoffen (Betreuung gemeinsam mit G. Menges).Dipl.-Arbeit,
Aachen, 1987.
48) Bernd Schneider: Objektorientierte PROLOG-Erweiterungen für die Verwendung in
natürlich-sprachlichen Systemen. Dipl.-Arbeit, Kaiserslautern, 1987.
49) Michael Ebenig: Entwicklung und Implementierung eines objektorientierten
Regelsystems mit einheitlichem Vorwärts- und Rückwärtsschließen. Dipl.-Arbeit,
Kaiserslautern, 1987.
50) Manfred Kern: Entwurf und Implementierung einer Wissensaquisitionskomponente für
ein Expertensystemwerkzeug. Dipl.-Arbeit, Kaiserslautern, 1987.
51) Thomas Legleitner: DAX - Diagnose von Automatikgetriebeschaltplatten mittels eines
Expertensystems. Dipl.-Arbeit, Kaiserslautern, 1987.
52) Hardy Feller: Entwicklung einer Benutzeroberfläche mit Schnittstelle zu einer
relationalen Datenbank für ein Regelsystem. Dipl.-Arbeit, Kaiserslautern, 1987.
53) Hans-Ulrich Krieger: NIL - eine Lisp-basierte natürlichsprachliche Schnittstelle zu
RAMSES. Unterstützung der NMR-Diagnostik von Hirn- und Mammatumoren. Dipl.-
Arbeit, Aachen, 1987.
54) 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
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, 1987.
56) 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 1988.
57) Knut Hinkelmann: SASLOG : Eine funktional - logische Sprachintegration mit Lazy
Evaluation und semantischer Unifikation. Dipl.-Arbeit, Kaiserslautern 1988.
58) Michael Dahmen: Konzeption und Implementierung einer Repräsentationssprache für
die Beschreibung von mechanischen Konstruktionen. Dipl.-Arbeit, Kaiserslautern, 1988.
59) Christoph Herling: Entwicklung einer Erklärungskomponente und ihre Implementierung
im Rahmen eines Systems zur Lagerplanung (Betreuung gemeinsam mit M. Bastian).
Dipl.-Arbeit, Aachen, 1988.
60) 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, 1988.
61) Simone Gladel-Speicher: Vergleichende Untersuchung der Integrationsproblematik von
Diagnoseexpertensystemen und Tiefenmodellierungssprachen am Beispiel
verschiedener, bereits existierender Systeme. Dipl.-Arbeit, Kaiserslautern, 1988.
62) Lutz Marten: Analyse menschlicher Schlußfolgerungsprozesse zur Abbildung in ein
computerimplementierbares Modell (Betreuung gemeinsam mit T. Pfeifer). Dipl.-
Arbeit, Aachen, 1988.
63) Robert Grob: Konzeption und Implementation eines anwendungsoptimierten
Schlußfolgerungsalgorithmus (Betreuung gemeinsam mit Pfeifer). Dipl.-Arbeit, Aachen,
1988.
64) Bernd Bach: Entwurf und Implementierung eines Algorithmus zu Klassifikation in
semantischen Netzen. Dipl.-Arbeit, Kaiserslautern, 1988.
65) Bernd Neis: PIDIAS: Entwicklung und Evaluation eines Expertensystems zur
Bestimmung von Pilzen. Dipl.-Arbeit, Kaiserslautern, 1988.
66) Ulrich Junker: Reasoning in Multiple Contexts. Dipl.-Arbeit, Kaiserslautern, 1988.
67) Werner Karbach: Modellgestützte Wissensakquisition als Basis eines systematischen
Knowledge Engineerings. Dipl.-Arbeit, Kaiserslautern, 1988.
68) Michael Lessel: Modellbasierte Diagnose von Benutzer- und Systemsoftwarefehlern,
dargestellt am Beispiel des UNIX-Spoolingsystems. Dipl.-Arbeit, Kaiserslautern, 1988.
69) Carla Decker: Ein Expertensystem für ein Scheduling-Problem in der
Fertigungssteuerung. Dipl.-Arbeit, Kaiserslautern, 1988.
70) Ute Gappa: Wissensakquisition für Expertensysteme und Entwurf des Akquisitionssystems
CLASSIKA für heuristische Klassifikation. Dipl.-Arbeit, Kaiserslautern, 1988.
71) 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
72) Frank Maurer: FOMEX - Ein fehlerorientiertes, modulares Expertensystem zur
Diagnose von Fehlern in einem CNC - Bearbeitungszentrum. Dipl.-Arbeit, Kaiserslautern,
1989.
73) Thomas Fickert: Entwicklung eines wissensbasierten Systems zur Erstellung von
Standardbelegungsplänen für eine Pressschweißgruppe. Dipl.-Arbeit, Kaiserslautern,
1989.
74) Uwe Becker: Modellgestützte Testsimulation mit Zeitpropagierung für wissensbasierte
Fehlerdiagnose von elektronischen Schaltungen. Dipl.-Arbeit, Kaiserslautern, 1989.
75) 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,
1989.
76) Manfred Meyer: Ein Debugger für die objektorientierte Erweiterung von PROLOG-XT.
Dipl.-Arbeit, Kaiserslautern, 1989.
77) Wolfgang Wernicke: Ein System zur Verarbeitung von Erfahrungswissen in MOLTKE
2.0. Dipl.- Arbeit, Kaiserslautern, 1989.
78) Konstandinos Moissadis: Repräsentation von Aufbauplänen technischer Geräte und
deren Nutzung zur Herleitung kausaler Regeln und modellbasierter Diagnose. Dipl.-
Arbeit, Kaiserslautern, 1989.
79) Bernd Nolte: Konzeption und Realisierung eines wissensbasierten Systems zur
Datenmodellierung. Dipl.- Arbeit, Kaiserslautern, 1990.
80) Norbert Wölbert: Planen mit Hilfe von strukturiertem Problemwissen am Beispiel von
Bauernendspielen im Schach. Dipl.- Arbeit, Kaiserslautern, 1990.
81) Stefan Bergdoll: Exploration und Simulation biologisch orientierter neuronaler Netze.
Dipl.-Arbeit, Kaiserslautern, 1990.
82) Thomas Ernst: Prototyping für ein wissensbasiertes System zur Testplanung. Dipl.-
Arbeit, Kaiserslautern, 1990.
83) Udo Alexander: Erklärungskomponente für ein Expertensystem in der Konstruktion und
ihre Einbettung in ein allgemeines Klassifikationsschema. Dipl.-Arbeit, Kaiserslautern,
1990.
84) Christoph Klauck: Diskursrepräsentation von Frage-Antwort-Dialogen auf Basis
unifikationsbasierter Grammatikformalismen. Dipl.-Arbeit, Kaiserslautern, 1990.
85) Ansgar Bernardi: Ein KL-ONE ähnliches Wissensrepräsentationssystem zur
Unterstützung der Diskursrepräsentation in natürlichsprachlichen Erklärungsdialogen.
Dipl.-Arbeit, Kaiserslautern, 1990.
86) Reinhard Praeger: Analogie und ihre Anwendung auf die Diagnoseproblematik. Dipl.-
Arbeit, Kaiserslautern, 1990.
87) Volker Haupenthal: Ein Konzept zur Benutzermodellierung in technischen
Expertensystemen. Dipl.-Arbeit, Kaiserslautern, 1990.
88) Andreas Ruppel: Assoziatives Problemlösen mit Hilfe fallbasierter und
konnektionistischer Methoden am Beispiel technischer Diagnose. Dipl.-Arbeit,
Kaiserslautern, 1990.

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

7
106) Thomas Krause: Globale Datenflußanalyse und horizontale Compilation der relationalfunktionalen
Sprache RELFUN. Dipl.-Arbeit, Kaiserslautern, 1991.
107) Bernd Bachmann: HieraCon: A Knowledge Representation System with Typed
Hierarchies and Constraints. Dipl.-Arbeit, Kaiserslautern, 1991.
108) Holger Wache: Ein TMS-unterstützter Interpretationsmechanismus für eine
konzeptorientierte Wissensrepräsentation. Dipl.-Arbeit, Kaiserslautern, 1991.
109) Thilo Horstmann: Distributed Truth Maintenance. Dipl.-Arbeit, Kaiserslautern, 1991.
110) Karin Langbehn: Evaluation thermodynamischer neuronaler Netze. Dipl.-Arbeit,
Kaiserslautern, 1991.
111) Dido Köhler: Compiler zur Transformation einer regelbasierten Wissensbasis eines
Online- Diagnoseexpertensystems in ein laufzeitoptimiertes C-Programms. Dipl.-Arbeit,
Kaiserslautern, 1991.
112) Ralph Scheubrein: Integration eines deduktiven Datenbanksystems in eine
Logikprogrammiersprache. Dipl.-Arbeit, Kaiserslautern, 1991. IBM
113) Michael Stadler: Vergleich von fallbasierten, induktiven und statistischen Lernverfahren.
Dipl.-Arbeit, Kaiserslautern, 1991.
114) Mario Feierstein: A Model of Cooperative Action. Dipl.-Arbeit, Kaiserslautern, 1991.
115) Michael Mehl: Nichtmonotone Aspekte des fallbasierten Schließens und deren
Fundierung in Default-Logik mit Prioritäten. Dipl.-Arbeit, Kaiserslautern, 1991. 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, 1991.
118) Ingo Frobenius: Verfahren der Clusteranalyse, der künstlichen Intelligenz und der
neuronalen Netze zum Unsupervised Learning. Dipl.-Arbeit, Kaiserslautern, 1991.
119) Bernhard Becker: Wissensbasierte Lernverfahren und ihre Anwendung auf die
Problematik der Diagnose technischer Systeme. Dipl.-Arbeit, Kaiserslautern, 1991.
120) Andreas Becker: Analyse der Planungsverfahren der KI im Hinblick auf ihre Eignung für
die Arbeitsplanung. Dipl.-Arbeit, Kaiserslautern, 1991.
121) 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 1992.
122) Michael Schmitz: Sicherheit in induktiven Lernverfahren. Dipl.-Arbeit, Kaiserslautern
1992.
123) Dirk Reichardt: Ähnlichkeitsbasierte Verkehrszeichenerkennung. Dipl.-Arbeit,
Kaiserslautern 1992
124) Andreas Schuch: iMAKE. Inkremnentelle Modellierung und Simulation technischer
Geräte zur Generierung einer Wissensbasis für MOLTKE 3.0. Dipl.-Arbeit, Kaiserslautern,
1992.

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

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

10
161) Gernod P. Laufkötter: Zur konnektionistischen Klassifikation von Bildinhalten. Dipl.-
Arbeit, Kaiserslautern, 1993.
162) 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, 1993.
164) Jürgen Schuhmann: Vergleich von artifiziellen und biologisch orientierten Lernregeln.
Dipl.-Arbeit, Kaiserslautern, 1993.
165) Dennis Drollinger: Intelligentes Backtracking in Inferenzsystemen am Beispiel
terminologischer Logiken. Dipl.-Arbeit, Kaiserslautern, 1993.
166) Robert Laux: Untersuchung maschineller Lernverfahren und heuristischer Methoden Im
Hinblick auf deren Kombination zur Unterstützung eines Chart-Parsers. Dipl.-Arbeit,
Kaiserslautern, 1993.
167) J. Rahmer: Bewertender Vergleich von Wissensaustauschformaten. Dipl.-Arbeit
Komponente zur erklärungsbasierten Herleitung von Fallauswahlwissen im
Planungssystem CABPLAN. Dipl.-Arbeit, Kaiserslautern, 1993.
168) Frank Goebel: Optimiertes Retrieval von Fallbeispielen mit k-d-Bäumen. Dipl.-Arbeit,
Kaiserslautern, 1993.
169) Lassaad Cheikhrouhou: Konzeption und Implementierung einer Komponente zur
erklärungsbasierten Herleitung von Fallauswahlwissen im Planungssystem CabPlan.
Dipl.-Arbeit, Kaiserslautern, 1993.
170) Thomas Renner: Konzeption und Implementierung eines Fallgedächtnisses für
fallbasiertes Schließen. Dipl.-Arbeit, Kaiserslautern, 1994.
171) Christof Kremer: Konzeption einer deklarativen Wissensbasis über technisches
Recycling. Dipl.-Arbeit, Kaiserslautern, 1994.
172) Ute Kaul: Konzeption und Implementierung einer Komponente zur begriffshierarchieorientierten
Repräsentation von strukturellem und heuristischem
Konfigurationswissen. Dipl.-Arbeit, Kaiserslautern, 1994.
173) Wolfgang Schittko: Strukturüberwachung von semi-formalen Wissensbasen. Dipl.-Arbeit,
Kaiserslautern, 1994.
174) Gerhard Burgun: Transformation logischer Programme zur Abduktion im Kontext der
Theorie-Revision. Dipl.-Arbeit, Kaiserslautern, 1994.
175) Ulrich Buhrmann: Erstellung einer deklarativen Wissensbasis über recyclingrelevante
Materialien. Dipl.-Arbeit, Kaiserslautern, 1994.
176) Peter Kammer: Fallbasiertes Retrieval von Arbeitsplänen für rotationssymmetrische
Drehteile. Dipl.-Arbeit, Kaiserslautern, 1994.
177) Oliver Lemke: Truth Maintenance mit integrierter Constraint-Propagierung. Dipl.-Arbeit,
Kaiserslautern, 1994.
178) Arthur Rupert Thiel: Abbildung räumlicher Strukturen auf neuronalen semantischen
Netzen. Dipl.-Arbeit, Kaiserslautern, 1994.

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

12
196) Michael Kreinbihl: COSYPLAN: Constraintbasiertes System zur Terminplanung. Dipl.-
Arbeit, Kaiserslautern, 1994.
197) Frank Steinle: Entwurf und Implementierung eines Frameworks für Constrainttechniken.
Dipl.-Arbeit, Kaiserslautern, 1994.
198) Fredj Dridi: Konzeption und Implementierung einer generischen Schnittstelle zum
Wissensaustausch. Dipl.-Arbeit, Kaiserslautern, 1994.
199) 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, 1995
201) Enrik Beste: Evaluierung und Erweiterung von CoMo-Kit anhand des Beispiels
Bebauungsplanung, Dipl.-Arbeit, Kaiserslautern, 1995
202) Barbara Dellen: Verwaltung von Abhängigkeiten bei der Operationalisierung
konzeptueller Modelle, Dipl.-Arbeit, Kaiserslautern, 1995
203) Volker Ehresmann: Integration ressourcen-orientierter Techniken in das wissensbasierte
Konfigurierungssystem TOOCON, Dipl.-Arbeit, Kaiserslautern, 1995
204) Bernd Gaede: Superposition extended with Sorts, Dipl.-Arbeit, Kaiserslautern, 1995
205) Oliver Graeff: Zeitplanung für komplexe wissensbasierte Informationssysteme, Dipl.-
Arbeit, Kaiserslautern, 1995
206) Christiane Gresse: Konzeption und Implementierung eines Wissensbasismodells zur
Unterstützung der automatischen Auswertung von NMR-Tomographien, Dipl.-Arbeit,
Kaiserslautern, 1995
207) Claus-Werner Hennecke: Konzeption und Implementierung eines Erwartungsauswertungsmoduls
in CYCLOPS, Dipl.-Arbeit, Kaiserslautern, 1995
208) Michael Herfert: Deklarative, statische und dynamische Software-Module, Dipl.-Arbeit
,Kaiserslautern, 1995
209) Felix Hess: Mustererkennung mit Wavelet Packets am Beispiel neurophysiologischer
Signale, Dipl.-Arbeit, Kaiserslautern, 1995
210) Stefan Huwer: Ein Ansatz zur automatischen Deduktion von malignen Veränderungen
der Mamma anhand kontrastmittelangereicherten MR Aufnahmen, Dipl.-Arbeit,
Kaiserslautern, 1995
211) Vera Kettnaker: Konzeption und Realisierung einer Toolbox statischer Kontrollmethoden
zur Steuerung eines Causal Link Planers, Dipl.-Arbeit, Kaiserslautern, 1995
212) Kirstin Kohler: Design Rationale bei der Modellierung und Abwicklung von Entwurfsprozessen,
Dipl.-Arbeit, Kaiserslautern, 1995
213) Frank Peters: Erstellung und Wiederverwendung von Templates zur formalen Repräsentation
von strukturiertem Textwissen, Dipl.-Arbeit, Kaiserslautern, 1995

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

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

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

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

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