Künstliche Intelligenz
2/96




KI Konferenz



KI Fachbereich

Böttcher IT Verlag

Heft 2/96

Schwerpunkt: 20. Deutsche Jahrestagung für Künstliche Intelligenz

Fachbeitrag

Sozionik: Expeditionen ins Grenzland zwischen Soziologie und Künstlicher Intelligenz
Michael Malsch, Michael Florian, Michael Jonas, Ingo Schulz-Schaefer

6-12

Der Dissertationspreis 1995 der Arbeitsgemeinschaft deutscher KI-Institute (AKI)
Thomas Christaller

13

Grafische Wissensakquisitionssysteme und ihre Generierung
Ute Gappa

14-19

Wiederverwendung von Plänen in deduktiven Planungssystemen
Jana Koehler

19-22

Sorten für das automatische Beweisen höherer Stufe
Michael Kohlhase

23-26

Fuzzy Systeme automatisch entwerfen
Hartmut Surmann

27-30

Projektbericht

Komplettkompilation von LISP: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen
Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek

31-33

Deduktion und Logisches Programmieren
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg

34-39

Anwendung

Einsatz modellgestützter Methoden bei der Luftbildauswertung
Christian Drewniok

40-43

 

Email: info(a)kuenstliche-intelligenz.de

©KI