Um der starken Nachfrage nach Ausbildung und Fortbildung im Bereich der Künstlichen Intelligenz Rechnung zu tragen, wurde vom Fachausschuss 1.2 ''Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik vom 5. -16. März 1984 in DasseI (Solling) eine zweiwöchige Frühjahrsschule durchgeführt. Diese Frühjahrsschule war die Nachfolgeveranstaltung zur KIFS-82, die im März 1982 in Teisendorf stattfand. Die diesjährige KIFS stand unter dem Themenschwerpunkt "Repräsentation von Wissen und natürlichsprachliche Systeme". Das Kursangebot umfasste: Gruldkurse: - Bildverstehen (B. Neumann, Hamburg) - Automatisches Beweisen (J. Siekmann, Kaiserslautern) - Natürlichsprachliche Systeme (W. Wahlster, Saarbrücken) Aufbaukurse: - Inferenzmethoden (W. Bibel, München) - Parser als integraler Bestandteil von Sprachverarbeitungssystemen (T. Christaller, Hamburg) - Lernen und Wissensakquisition (Ch. Habel & C.-R. Rollinger, Berlin) - Techniken der Wissensdarstellung (J. Laubseh, Stuttgart) - Textverstehen und Textproduktion (U. Quasthoff-Hartmann, Bielefeld). - Semantik~odelle in der Künstlichen Intelligenz (C. Schwind, Marseille) Spezialkurse: - LISP (G. Görz, Erlangen) - LISP 2 (H. Stoyan, Erlangen) - PROLOG (H. Gust & M. König, Osnabrück/ Berlin) Die Durchführung der Spezialkurse, die eine Einführung bzw. Vertiefung der für die KI wichtigsten Programmiersprachen zum Ziel hatten, erfolgte auf Kleinrechnern (verschiedener Hersteller) und zum Teil auf einer LISP~aschine. Die Rechner wurden ausserdem für Übungen und Vorführungen zu einigen der weiteren Kurse verwendet. Hierdurch wurde es möglich, die im Vorlesungsteil der Kurse erworbenen theoretischen Kenntnisse, teilweise sogar am Rechner anzuwenden.
Band 103
Kartonierter Einband (Kt) | 1985
Band 104
Kartonierter Einband (Kt) | 1985
Band 106
Kartonierter Einband (Kt) | 1985
Band 112
Kartonierter Einband (Kt) | 1985
Band 114
Kartonierter Einband (Kt) | 1985
Band 115
Kartonierter Einband (Kt) | 1985
Band 118
Kartonierter Einband (Kt) | 1986
Band 120
Kartonierter Einband (Kt) | 1986
Band 122
Kartonierter Einband (Kt) | 1986
Band 125
Kartonierter Einband (Kt) | 1986
Band 151
Kartonierter Einband (Kt) | 1987
Band 152
Kartonierter Einband (Kt) | 1987
Band 155
Kartonierter Einband (Kt) | 1987
Band 159
Kartonierter Einband (Kt) | 1988
Band 169
Kartonierter Einband (Kt) | 1988
Band 172
Kartonierter Einband (Kt) | 1988
Band 176
Kartonierter Einband (Kt) | 1988
Band 181
Kartonierter Einband (Kt) | 1988
Band 191
Kartonierter Einband (Kt) | 1988
Band 195
Kartonierter Einband (Kt) | 1988
Band 199
Kartonierter Einband (Kt) | 1988
Band 200
Kartonierter Einband (Kt) | 1989
Band 202
Kartonierter Einband (Kt) | 1989
Band 203
Kartonierter Einband (Kt) | 1989
Band 208
Kartonierter Einband (Kt) | 1989
Band 213
Kartonierter Einband (Kt) | 1989
Band 216
Kartonierter Einband (Kt) | 1989
Band 266
Kartonierter Einband (Kt) | 1991
Band 281
Kartonierter Einband (Kt) | 1991
Band 285
Kartonierter Einband (Kt) | 1991
Band 287
Kartonierter Einband (Kt) | 1991
Band 288
Kartonierter Einband (Kt) | 1991
Band 291
Kartonierter Einband (Kt) | 1991
Band 300
Kartonierter Einband (Kt) | 1992
Band 307
Kartonierter Einband (Kt) | 1992
Band 308
Kartonierter Einband (Kt) | 1992
Band 310
Kartonierter Einband (Kt) | 1992
Band 311
Kartonierter Einband (Kt) | 1992
Band 313
Kartonierter Einband (Kt) | 1992
Band 47
Kartonierter Einband (Kt) | 1981
Band 48
Kartonierter Einband (Kt) | 1981
Band 59
Kartonierter Einband (Kt) | 1982
Band 93
Kartonierter Einband (Kt) | 1985