Dissertationen

Die folgenden Dissertationen betreute Prof. Konrad als Erstgutacher (EG) bzw. Zweitgutachter (ZG).

• Altenkrüger, Doris: Das formale Assoziations-Inferenz-Modell konzeptioneller Schemata mit Design-Methodik, Wissensrepräsentation und Generierung interner Schemata: FAIM, TU Berlin 1984. (ZG)

• Lambrecht, Bernd: Konzepte für eine interaktive Datenbank-Entwurfs-Methodik, TU Berlin 1985. (ZG)

• Yasdi, Ramin: Concepts and techniques for designing expert database systems, TU Berlin 1985. (ZG)

• Zimmermann, Bernhard: Transduktionsgrammatiken - Ein Spezifikationswerkzeug für kontext-freie Compiler, TU Berlin 1985. (ZG)

• Zuse, Horst: Messtheoretische Analyse von statischen Softwarekomplexitätsmaßen, TU Berlin 1985. (ZG)

• Leszak, Marek: Modellierungs- und Simulationsinstrumentarium für fehlertolerante verteilte Systeme, angewendet auf verteilte Datenbankverwaltungssysteme, TU Berlin 1986. (ZG)

• Reiner, Ulrike: Semantik von Anfragesprachen für Dokumenten-, Fakten- und Erklärungssuchsysteme, TU Berlin 1988. (EG) - Diese Arbeit wurde von der Deutschen Gesellschaft für Dokumentation (DGD) mit dem Erich-Pietsch-Preis 1990 ausgezeichnet.

• Xie, Yuanhong: Verarbeitungsverfahren und Inferenzmechanismen für plausibles Wissen mit Implementierungsbeispielen für ein Akupunktur-Expertensystem, TU Berlin 1991. (ZG)

• Bakhtari, Shirin: Ein Problemlösungsverfahren zur Verarbeitung inkonsistenter Theorien, Universität Hamburg 1991. (EG)

• Hartmann, Karsten: Aufbau eines wissensbasierten Systems zur Kontrolle von lokalen Netzwerken, TU Berlin 1992. (EG)

• Papke, Jörg: Konzeption eines rechnergestützten Werkzeuges zur objektorientierten Erfassung, Modellierung und Simulation von Wissensstrukturen, TU Berlin 1992. (ZG)

• Peroz, Nazir: Entwicklung von Expertensystemen als empirische Theoriebildung, TU Berlin 1992. (EG)

• Krause, Stefan: Einheitliche Behandlung von Fehlern bezüglich kontextfreier Semantik für generierte Übersetzer, TU Berlin 1992. (ZG)

• Jandach, Thomas: Juristische Expertensysteme : methodische Grundlagen ihrer Entwicklung, TU Berlin 1993. (ZG)

• Kartarahardja, Henry: Ein Entscheidungsunterstützungssystem für die Entwicklung des Bildungswesens und Generierung bildungspolitischer Maßnahmen in Indonesien, TU Berlin 1993. (ZG)

• Hadjerrouit, Said: Rechtsverträgliche Gestaltung medizinischer Expertensysteme im Krankenhaus, TU Berlin 1993. (ZG)

• Nayeri, Nader: Wohldefinierte erweiterte Affix-Grammatiken für die Spezifikation von Compilern, TU Berlin 1994. (ZG)

• Gao, Peng: Relationale Repräsentation von diagnostischem Wissen in der Medizin, TU Berlin 1996. (EG)

• Papaioannou, Sokrates: Agentenorientierte Modellierung mit AGORA am Beispiel des Berliner U-Bahnsystems, TU Berlin 1996. (ZG)

• Busch, Carsten: Metaphern in der Informatik - Modellbildung, Formalisierung, Anwendung, TU Berlin 1997. (EG)

• Tian-Fleischer, He: Expertensystem zur Analyse und Auswahl von Triebwerkszyklen, TU Berlin 1997. (ZG)

• Baumgärtel, Hartwig: Verteiltes Lösen von Constraint-Problemen in Multiagenten-Systemen zur optimierten Planung in einer Fließfertigung, TU Berlin 1999. (EG)

• Harijono, Indra Gunawan: Integrierte Kooperierende Agenten für Teamwork, TU Berlin 1999. (ZG)

• Kelemis, Athanassios: Offene Architektur zur Realisierung von verteilten betrieblichen Anwendungen und Diensten, TU Berlin 1999. (ZG)

• Leppich, Jürgen: Aufbau eines Experten- und Informationssystems der Raumfahrt, TU Berlin 1999. (ZG)

• Fricke, Stefan: Werkzeuggestützte Entwicklung kooperativer Agenten im Dienstkontext, TU Berlin 2000. (ZG)

• Kannapinn, Sönke: Eine Rekonstruktion der LR-Theorie zur Elimination von Redundanz mit Anwendung auf den Bau von ELR-Parsern, TU Berlin 2001. (ZG)

• Sesseler, Ralf: Eine Architektur zur Interaktion von Agenten basierend auf Diensten, TU Berlin 2002. (ZG)

• Salustowicz, Rafal: Probabilistic Incremental Program Evolution, TU Berlin 2003. (EG)

• Arend, Thomas: Maschinenexperten - Expertenmaschinen: Systemunterstützte Diagnose- und Problemlösungsverfahren mit Expertensystemen in der kommerziellen Praxis am Beispiel des Systems SAP R/3, TU Berlin 2003. (EG)

• Wollny, Stefan: Erklärungsfähigkeit kooperierender regelbasierter Expertensysteme zum diagnostischen Problemlösen, TU Berlin 2003. (EG)

• Volkmann, Gerald: Interpretation von DNA Mikroarray Daten mit Bayesschen Netzen, Universität Bremen 2003. (ZG)

• Nugroho, Setyo: Concept of Compatibility in Shipping: Fuzzy Set Theory and Case-Based Reasoning Approaches, TU Berlin 2005. (ZW)

• Richter, Sascha: Eine logische Applikationssprache zur parallelen Verarbeitung von neuronalen Netzen - Anwendung in der Qualitätssicherung von Agrarprodukten, TU Berlin 2005. (EG)