Christian Facchi
Informatik
-
-
Dieter Dodenhöft
Bd. 9: Hybride Wissensrepräsentation durch enge Kopplung eines frame- und regelbasierten Formalismus
In dieser Arbeit wird ein hybrides System zur Repräsentation von Expertenwissen entwickelt, welches durch die Kopplung eines frame- und regelbasierten Formalismus entsteht. Basierend auf einer gemeinsamen Semantik werden die spezialisierten Inferenzverfahren der Formalismen erweitert.
-
Markus Kolland
Bd. 8: Generische Unterstützung von Information Sharing im Kontext computer-unterstützter Gruppenarbeit
-
Markus Gutschmidt
Bd. 7: Ein Objektmodell für ein integriertes Management von Systemdiensten mit Client/Server-Struktur
-
Thomas Gritzner
Bd. 6: wp-Kalkül und relationale Spezifikation kommunizierender Systeme
-
Claus Dendorfer
Bd. 5: Methodik funktionaler Systementwicklung
-
Wolfram Kahl
Bd. 4: Algebraische Termgraphersetzung mit gebundenen Variablen
Thema des Buches sind Termgraphen, in denen auch Variablenbindung und mehrfaches Vorkommen von Variablen auf originelle Weise explizit, elegant und mit größter Allgemeinheit formalisiert sind.
-
Ralph Radermacher
Bd. 3: Eine Ausführungsumgebung mit integrierter Lastverteilung für verteilte und parallele Systeme
-
Leo Pfefferer
Bd. 2: Objektzentrierte Visualisierung mehrdimensionaler Daten als Erweiterung konventioneller Datenbankmodelle
Bei der Wiedergewinnung und Repräsentation von gespeicherten Datenbankobjekten sind ihre etwaigen verdeckten Strukturen und Zusammenhänge von großem Interesse. Daher ist eine Präsentation des aktuellen Datenbankbestandes nötig, welche über die übliche i.d.R. rein attributorientierte Darstellung hinausgeht.
-
Joachim F. Schreiber
Bd. 1: Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren