Künstliche Intelligenz, 1996

Band 10, Heft 1, März 1996

Fallbasiertes Schließen
Fachbeiträge

Klaus-Dieter Althoff, Agnar Aamodt: Zur Analyse fallbasierter Problemlöse- und Lernmethoden in Abhängigkeit von Charakteristika gegebener Aufgabenstellungen und Anwendungsdomänen. 10-15
Mario Lenz, Eric Auriol, Hans-Dieter Burkhard, Michel Manago, Petra Pirk: Fallbasierte Diagnostik und Entscheidungsunterstützung. 16-21
Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso: Fallbasiertes Planen: ausgewählte Methoden und Systeme. 22-28
Rivka Oxman, Angi Voß: Fallgestütztes Entwerfen. 29-35

Zur Diskussion

Projekte

Robert Trappl, Johannes Matiasek, Gerda Helscher: Artificial Intelligence-Forschung in Österreich: ein neuer Überblick und einige Vergleiche mit Deutschland. 42-46

Amwendungen

Eric Auriol, Michel Manago, Jérôme Guiot-Dorel: CASSIOPÉE: Fehlerdiagnose von CFM 56-3 Triebwerken für Boing 737 Flugzeuge. 47-53

Fachbeiträge

Michael Malsch, Michael Florian, Michael Jonas, Ingo Schulz-Schaefer: Sozionik: Expedition ins Grenzgebiet zwischen Soziologie und Künstlicher Intelligenz. 6-12
Thomas Christaller: Der Dissertationspreis 1995 der Arbeitsgemeinschaft deutscher KI-Institute (AKI). 13
Ute Gappa: Grafische Wissensakquisitionssysteme und ihre Generierung. 14-19
Jana Koehler: Wiederverwendung von Plänen in deduktiven Planungssystemen. 19-22
Michael Kohlhase: Sorten für das automatische Beweisen höherer Stufe. 23-26
Hartmut Surmann: Fuzzy Systeme automatisch entwerfen. 27-30

Projekte

Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek: Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. 31-33
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. 34-39

Anwendungen

Christian Drewniok: Einsatz modellgestützter Methoden bei der Luftbildauswertung. 40-43

Logische Programmierung
Fachbeiträge

Franz Baader: Logik-basierte Wissensrepräsentation. 8-16
François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. 17-23
Jürgen Dix, Ulrich Furbach: Logisches Programmieren mit Negation und Disjunktion. 24-31
Thomas Eiter, Georg Gottlob: Mächtigkeit von Logikprogrammierung über Datenbanken. 32-39
Michael Hess: Computerlinguistik und Logikprogrammierung. 40-45
Nada Lavrac, Stefan Wrobel: Induktive Logikprogrammierung - Grundlagen und Techniken. 46-54
Martin Müller, Gert Smolka: Oz: nebenläufige Programmierung mit Constraints. 55-61

Das aktuelle Schlagwort

Projekte

Ralph Schmidt: Aktuelle Forschungsschwerpunkte auf den Gebieten Neuroinformatik, Künstliche Intelligenz und Intelligente Systeme - ein Überblick. 67-69
Angi Voß, Brigitte Bartsch-Spörl, Ludger Hovestadt, Klaus P. Jantke, Uwe Petersohn, Gerhard Strube: FABEL. 70-76

KI und Finanzdienstleistungen
Fachbeiträge

Christof Weinhardt, Stefan Kirn, Peter Gomber: KI-Methoden in der Finanzwirtschaft: grundlegende Fragen, Stand der Forschung, Einsatzpotentiale. 8-17
Hans Ulrich Buhl, Mark Roemer, Klaus Sandbiller: Verteiltes Suchen und Erkennen zur Erstellung von Finanzdienstleistungen. 17-25
Wolfgang Wilke, Ralph Bergmann, Klaus-Dieter Althoff: Fallbasiertes Schließen zur Kreditwürdigkeitsprüfung. 26-33
Alassane Ndiaye: Rollenübernahme in einem Dialogsystem. 34-40

Zur Diskussion

Thomas Christaller: Von Artificial Intelligence zur Artificial Life und wieder zurück. 41-44

Projekte

Jens Schultz, Peter Mertens: Expertensysteme im Finanzdienstleisungssektor - Zahlen aus einer Datensammlung. 45-48
Ulrike Einsfeld, Andreas Will: Blackboardbasierte Systemunterstützung von Allfinanzangebotsprozessen. 49-54
Ralph Neuneier, Hans-Georg Zimmermann: Neuro-Fuzzy Methoden in der Finanzanalyse. 55-58
Ilka Philippow, Fred Roß, Ulf Döring: Methoden zur Handhabung großer Fuzzy-Regelbasen. 59-60

Anwendungen

Ernst Lebsanft, François Braun, Kurt Egli: WEKI - ein wissensbasiertes System für die Festlegung von Prämiensätzen bei der Schweizerischen Unfallversicherungsanstalt. 61-67

Leserservice

Stefan Kirn: KI in der Finanzwirtschaft: Organisationen, Tagungen, Ansprechpartner und Kontaktadressen. 68

Last update Sat May 18 20:44:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page