KIFS 1985 & 1986: Dassel (Solling), Germany

Thomas Christaller, Hans-Werner Hein, Michael M. Richter (Eds.): Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986. Informatik-Fachberichte 159 Springer 1988, ISBN 3-540-18903-3 BibTeX

@proceedings{DBLP:conf/ki/1986kifs,
  editor    = {Thomas Christaller and
               Hans-Werner Hein and
               Michael M. Richter},
  title     = {K{\"u}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
               Fr{\"u}hjahrsschulen, Dassel, 8.-16. M{\"a}rz 1985 und 8.-16.
               M{\"a}rz 1986},
  booktitle = {KIFS},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {159},
  year      = {1988},
  isbn      = {3-540-18903-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Thomas Christaller: Einführung in LISP. 1-35 BibTeX
Helmar Gust, Michael König: PROLOG: PROgrammieren mit LOGik - Eine Einführung. 36-57 BibTeX
Paul Levi, J. Foldenauer, Th. Löffler: Robotik und Künstliche Intelligenz. 58-133 BibTeX
Volker Penner: Programmverifikation. 134-182 BibTeX
Frank Puppe, Hans Voß: Qualitative Modelle in wissensbasierten Systemen. 183-244 BibTeX
Franz Schmalhofer, Thomas Wetter: Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien. 245-291 BibTeX
Christoph Walther: Automatisches Beweisen. 292-339 BibTeX